The fact that people get hung up on the truth or falsehood of set theoretic axioms like Choice or CH is a weird messy holdout of mathematical platonism and we should be taking Godel's completeness theorem more seriously. (No, not his incompleteness theorem. The other one)https://twitter.com/nex3/status/1199086783222255616 …
-
-
What’s the answer
-
It's an element of the set of real numbers, which is your favourite* implementation of a complete ordered field. * they're all unique up to isomorphism
End of conversation
New conversation -
-
-
fortunately I found and bought a copy of Hardy's Course on Pure Mathematics before going to uni so had read about equivalence classes of sequences of rationals...
-
The worst implementation
End of conversation
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.