"What's your opinion of the 'new math'?" "Does it still use the axiom of choice?" "Of course, otherwise--" "Not interested."
-
-
@Meaningness@sarahdoingthing I find the current idea of replacing all of it with homotopy classes of machine proofs strange and frightening -
@Meaningness@sarahdoingthing but I am an old failure - 5 more replies
New conversation -
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.