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 …
and by then I’d developed a meta-rational view so I didn’t have to freak out when rationality broke down.
-
-
"The object satisfying these axioms (which we prove exists and is unique up to isomorphism), pick your favourite implementation" is sufficiently standard fare literally everywhere in mathematics that I'm not sure it's reasonable to count it as a breakdown of rationality.
-
Wait I haven’t done this stuff in 35 years, but the nonstandard reals are a model for the reals axioms, and not isomorphic, right? Or am i misremembering?
- 11 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.