After fixing his proof of a contradiction in arithmetic, Edward Nelson's ghost reveals a contradiction in the theory of real closed fields.
0 replies
1 retweet
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.