[0db532a0]

No, there are no objective mathematical truths. I am saying this as someone who has studied pure mathematics. We have long moved away from Plato. Godel long ago proved that no system based on a finite number of axioms is complete. This isn't just a comment on mathematics. It is a comment on language and human thought itself.

Of course, the debate remains of the "validity" of pure mathematics for its own sake. Many mathematicians, while not being religious in the common sense, have longed for a Platonic reality. Why do you think Hardy was so derided for his Mathematician's Apology?

Mathematics is simply another formal game of language, based on a number of axioms which can be either held to be true or not. Look at the differences between Euclidean and projective geometry. No one is asking which one is "true". Projective geometry helps for some lines of thought, Euclidean works for others.

[Scarblac]

Godel's proof doesn't imply that there is no mathematical truth. There is still an infinity of things that can be proven.

[0db532a0]

I know. I used him as another example that mathematics is not the be all and end all.