what happens when mathematical theorems become too hard for humans to prove or to write a program that would prove them?
-
-
Replying to @alexeyguzey
I have a strong intuition that almost all short mathematical statements have concise proofs that we haven’t discovered yet. I realize this is belief is crazy, but...
4 replies 0 retweets 4 likes
Replying to @WilliamAEden @alexeyguzey
anthropological principle but for proofs
6:35 PM - 5 Jan 2020
0 replies
0 retweets
2 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.