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
- How Gödel’s Proof Works | Quanta Magazinequantamagazine.org
- Gödel's incompleteness theorems - Wikipediaen.wikipedia.org
- canon00-goedel.pdfhirzels.com
- godel-letter.pdfanilada.com
- The fall of the theorem economydavidbessis.substack.com
- A Theory That Proves Its Own Inconsistency · Yan Sheng's siteangyansheng.github.io
- Gödel’s Incompleteness Theorems (Stanford Encyclopedia of Philosophy)plato.stanford.edu
- Mathematics for Computer Sciencepeople.csail.mit.edu
- dichotomy.pdfmath.stanford.edu
- Philosophy of Mathematics (Stanford Encyclopedia of Philosophy)plato.stanford.edu
- How To Prove Itia800501.us.archive.org
- Formalizing Fermat's Last Theoremanthropic.com