Re:How many real numbers exist? New proof moves closer to an...
by intuitionist on Thursday July 15, 2021 @01:25PM
(#27847237)
Maddy’s work is great and worth reading (even as an antirealist!), but it’s worth keeping in mind that debates about foundations are basically irrelevant to the working lives of the large majority of mathematicians. If you’re studying, say, extremal graph theory or the Langlands program or low-dimensional topology, the cardinality of the continuum is simply not relevant.
[ Parent
| on HN ]
Re:How many real numbers exist? New proof moves closer to an...
by pavpanchekha on Thursday July 15, 2021 @03:41PM
(#27849158)
Yes, I actually have a kind-of related blog post:
https://pavpanchekha.com/blog/proof-system-os.html
I tried to restrict my post to just set theory because this philosophical point is often hard for people to grasp.