Hacker News
- The Undecidability of BB(748): Understanding Godel’s Incompleteness Theorems [pdf] https://www.ingo-blechschmidt.eu/assets/bachelor-thesis-undecidability-bb748.pdf 39 comments
- There May Be a Fatal Flaw in Godel's Incompleteness Theorem [pdf] https://www.jamesrmeyer.com/pdfs/FFGIT_Meyer.pdf 7 comments
- An Introduction to Godel's Theorems (Second Edition) [pdf] https://www.logicmatters.net/resources/pdfs/godelbook/GodelBookLM.pdf 39 comments
- Godel's 2nd Incompleteness Theorem Explained in Words of One Syllable http://www2.kenyon.edu/Depts/Math/Milnikel/boolos-godel.pdf 58 comments
- What is the commonality between Godel's Incompleteness Theorem and Cantor's Theorem? https://www.reddit.com/r/math/comments/5b5wuj/what_is_the_commonality_between_godels/ 15 comments math
- Godel's 2nd Incompleteness Theorem fails for specific axiomitations of ZF http://www.acsu.buffalo.edu/~mwehar/abstract3.html 28 comments math
- Omega and why Math has no TOE's (about Chaitin's constant and Godel's theorem) http://www.plus.maths.org.uk/issue37/features/omega/index.html 4 comments reddit.com
- Do Godel's Incompleteness theorems currently have use whatsoever in Physics? If not, might they some day? https://www.reddit.com/r/askscience/comments/5h6oyz/do_godels_incompleteness_theorems_currently_have/ 29 comments askscience
- Is Roger Penrose abusing Godel's Incompleteness theorem? https://math.stanford.edu/~feferman/papers/penrose.pdf 61 comments math
- Godel's Second Incompleteness Theorem Explained in Words of One Syllable. http://isites.harvard.edu/fs/docs/icb.topic1470808.files/boolos.pdf 3 comments philosophy
- Meta Math! Godel's incompleteness theorem proved via algorithmic information theory https://arxiv.org/pdf/math/0404335.pdf 17 comments math
- Math is incomplete says Kurt Godel, my favorite quote explaining his theorems https://en.wikipedia.org/wiki/G%C3%B6del_numbering 16 comments compsci
- Judging from this newspaper article, someone has found a concrete example of Godel's Incompleteness Theorem -- does anyone know more about this? http://www.telegraph.co.uk/science/8118823/large-cardinals-maths-shaken-by-the-unprovable.html 12 comments math
- I've been disappointed with the explanations of Godel's incompleteness theorems I've been able to find online, so I decided to make my own. It doesn't spare many details, but I tried to make it as user-friendly as possible. https://evoniuk.github.io/godels-incompleteness-theorems/index.html 53 comments math
- Tarski's undefinability theorem - the lesser-known cousin of Godel's Incompleteness Theorem http://en.wikipedia.org/wiki/tarski%27s_undefinability_theorem 7 comments math
- A discussion with Prof. Joel David Hamkins (the highest rated user on MathOverflow) on Infinity, Godel's Theorems and Set Theory https://www.reddit.com/r/math/comments/gxmznu/a_discussion_with_prof_joel_david_hamkins_the/ 4 comments math
- Incompleteness Ex Machina [pdf]: "Godel's work, rightly viewed, needs to be split into two parts: the transport of computation into the arena of arithmetic on the one hand and the actual incompleteness theorems on the other." https://www.scottaaronson.com/incompleteness.pdf 27 comments math
- Incompleteness Ex Machina [pdf]: "Godel's work, rightly viewed, needs to be split into two parts: the transport of computation into the arena of arithmetic on the one hand and the actual incompleteness theorems on the other." https://www.scottaaronson.com/incompleteness.pdf 14 comments compsci
- General Homomorphic Encryption - solves one of the oldest open problems in cryptography by means of a self-embedding technique reminiscent of Godel's theorem http://www.imperialviolet.org/2009/06/16/hal-finney-homomorphic.html 5 comments crypto
- General Homomorphic Encryption - solves one of the oldest open problems in cryptography by means of a self-embedding technique reminiscent of Godel's theorem http://www.imperialviolet.org/2009/06/16/hal-finney-homomorphic.html 7 comments netsec