The dogma that mathematical proofs could, in principle, be turned into logical proofs remains a conjecture; it is not feasible in practice. Existing proof systems are not up to the job; can they be beefed up sufficiently? Research community disconnect!https://xenaproject.wordpress.com/2020/02/09/where-is-the-fashionable-mathematics/ …
-
Show this thread
-
Replying to @Meaningness
I mean, the exact blog that you link to explains that they have just spend the last year formalizing a large chunk of the undergrad math curriculum, which to me seems to pretty conclusively prove that the mathematical proofs can indeed be turned into logical ones.
2 replies 0 retweets 0 likes
Replying to @citronhoneytea
That’s why I kept inserting “yet.” I am enthusiastic about this project and would like to see it progress more rapidly!
9:30 AM - 11 Feb 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.