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
ｃｙｂｒｅｓｐａｃｅ: 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!