[0db532a0]

Gödel’s Proof, by Nagel & Newman gives a good explanation for the semi-layman or undergrad coming across this for the first time.

Before picking up this book as an undergrad in pure maths, I still had romantic ideas about a separate platonic universe and the divine authority of mathematics to explain all human thought.

This book, along with studying the various geometries, each with a different choice of axioms not necessarily based in ‘reality’, destroyed the majority of that romance.

[cwzwarich]

Godel was himself a Platonist and didn't view incompleteness as a refutation of Platonism, rather as a restriction on the avenues of human access to mathematical truth.

[0db532a0]

I don't view it is a refutation either. I meant that the proof destroyed the greater feeling of romance I had towards mathematics.

[dasmithii]

Reading it now and enjoying it a lot. It's destroying one romance in favor of another!

[chongli]

Exactly! The beauty of life is in its flaws and limitations. Perfection is boring. Gödel opened the door to a multiverse of mathematics, all flawed in some way, yet not unworthy of study.

Mathematicians of the past sought perfection for the glory of God. Now we have the opportunity to give credit where it’s due: to our fellow human beings, many of whom devoted their lives to the craft of mathematics.