I would argue that pure math tries to define its scope away from pathologies like diagonalization tricks and nonhalting
-
-
-
oh wait did you read G as Gödel?
End of conversation
New conversation -
-
-
ah. it was in the context of the previous retweet about Grothendieck
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
that is not obvious to me, opetopic higher higher topos theory might turn out to be the end stadium of pure math
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
This Tweet is unavailable.
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.