What Gödel Discovered

In 1931, a 25-year-old Kurt Gödel wrote a proof that turned mathematics upside down. The implication was so astounding, and his proof so elegant that it was...kind of funny. I wanted to share his d...

What Gödel Discovered What Gödel Discovered November 2020 In 1931, a 25-year-old Kurt Gödel wrote a proof that turned mathematics upside down. The implication was so astounding, and his proof so elegant that it was...kind of funny. I wanted to share his discovery with you. Fair warning though, I’m not a mathematician; I’m a programmer. This means my understanding is intuitive and not exact. Hopefully, that will come to our advantage since I have no choice but to avoid formality 🙂. Let’s get to it. Unification For the last 300 years, mathematicians and scientists alike made startling discoveri

related reading

• Gödel's incompleteness theorems - Wikipediaen.wikipedia.org
• How Gödel’s Proof Works | Quanta Magazinequantamagazine.org
• A Theory That Proves Its Own Inconsistency · Yan Sheng's siteangyansheng.github.io
• Philosophy of Mathematics (Stanford Encyclopedia of Philosophy)plato.stanford.edu
• Gödel’s Incompleteness Theorems (Stanford Encyclopedia of Philosophy)plato.stanford.edu
• Mathematics in the Library of Babel - Daniel Littdaniellitt.com
• A recent experience with ChatGPT 5.5 Pro | Gowers's Webloggowers.wordpress.com
• How Many Numbers Exist? Infinity Proof Moves Math Closer to an Answer. | Quanta Magazinequantamagazine.org
• Shtetl-Optimized >> Blog Archive >> Ten Signs a Claimed Mathematical Breakthrough is Wrongscottaaronson.blog
• What's new | Updates on my research and expository papers, discussion of open problems, and other maths-related topics. By Terence Taoterrytao.wordpress.com
• Computational Complexityblog.computationalcomplexity.org
• Artificial Intelligence and the Structure of Mathematicsarxiv.org