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
-
Well the answer I *got*, which seemed completely satisfactory at the time, was “Dedekind cuts/Cauchy sequences.” This turns out to be wrong, but I didn’t figure that out until MUCH later, >
- 14 more replies
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.