I have a short proof of Fermat's Last Theorem but it requires assuming Con(ZF) plus Con(Andrew J. Wiles).
-
-
Replying to @ESYudkowsky
I don't see how. Did you mean Sound(Andrew J. Wiles)?
1 reply 0 retweets 0 likes
Replying to @ModelOfTheory
If an FLT counterexample exists it is in \Delta_0 and directly implies \neg Con(Wiles): he then proves False.
5:08 PM - 23 Jun 2017
0 replies
0 retweets
1 like
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.