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.

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

· · Web · 1 · 0 · 0
Sign in to participate in the conversation

cybrespace: the social hub of the information superhighway jack in to the mastodon fediverse today and surf the dataflow through our cybrepunk, slightly glitchy web portal support us on patreon or liberapay!