We don’t need mathematicians to clear the proof as valid if it is checked by a formal proof system. Mathematicians would only need to check the theorem itself to make sure it describes what it should describe.

I think chess and go are a bad comparison. Their solving does not conclude in some societal use. They are interesting only as problems, but mathematics is interesting as a solution too.

How so? Particularly in intuitionist logic it would seem to me that they are the same thing.

Whoops, you’re right. I’ll edit it.

Depends on the encryption method. RSA can be cracked, sure, but the jury is still out for other methods like elliptic curves.

That last one is amazing.

https://store.steampowered.com/app/3334580/Steam_Revolution_The_Age_of_Rail/

It’s more of a transport tycoon like game, but it’s free, so if that’s your cup of tea you could try it.

It has far more than AAA value to me. AAA games are mostly boring imho.

I’ve flown with them once, but i was very happy with the experience. That might be because I’m used to Ryanair though.

I’m skeptical of this. Life doesn’t just need a certain temperature, it needs to convert lower entropy energy to higher entropy. A uniform environment temperature does not provide any usable energy. You would still need a star or some other energy source.

If you have a playlist for me it straight up doesn’t show unavailable videos. But with yt-dlp you can acquire the unrestricted list with the titles and urls, and then hopefully use wayback to get the videos.

I got sick with a 40+ degree fever. My lower voice is fine, but my higher voice has been ravaged for weeks. I also had a cough that lasted for about 3 weeks. No idea if it was covid as tests are not as easily available here anymore.

Category theorist: hold my beer.

Where is that? Is that on one of the moons of Jupiter?

It has been proven that each mathematical reasoning system* either has a statement that cannot be proven true or false, or a statement that can be proven both true or false. In simpler terms, it has been proven that we can’t prove everything.

Gödels incompleteness theorem if anyone wants to look it up.

• only holds for reasoning systems that can reason about numbers

The factorio space age dlc. Particularly track 06 from Fulgora.

There is something wrong with your unit conversion to cm there. That, or you dated a horse.