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.
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