Peano Arithmetic 2.0 will include new axioms for social media features, so you can share your favorite integers with friends.
-
-
Can you also add this infinite set of Godel-like sentences for 2.1? Then maybe in 3.0 you can fix completeness/consistency issue.
-
Oops, sorry, you don't have 2.1 in PA. I don't know what I was thinking there.
End of conversation
New conversation -
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.
