cybre.space has reached the end-of-life and is now read-only. Please see the EOL announcement for details

I think Gödel has to be right about mathematical Platonism, because the alternative is that maths is ugly purely due to errors in its construction.

We *have* to believe that maths is externally real, otherwise we've already lost.

· · Web · 1 · 0 · 1

maybe a weaker phrasing of this is with an if-statement:

if maths is to be interesting at all, something like Gödel's understanding has to be true - it has to be externally real

Sign in to participate in the conversation
Cybrespace

the mastodon instance at cybre.space is retired

see the end-of-life plan for details: https://cybre.space/~chr/cybre-space-eol