Book1958
Gödel's Proof
Ernest Nagel & James R. Newman
Walks a general reader through Gödel's argument that any consistent system strong enough for arithmetic contains truths it cannot prove.
link checked 17 Sept 2026FreeEntry
Mathematics · Foundations & Logic
Gödel's Incompleteness Theorems
A topic within Foundations & Logic, itself one of 13 topics in that field and part of Mathematics.
Reading on Gödel's Incompleteness Theorems
22 works
Video2021
Math's Fundamental Flaw
Derek Muller (Veritasium)
Traces the route from Cantor's diagonal argument through Godel's incompleteness theorems to Turing's halting problem, arguing they are three faces of one limit on formal systems.
link checked 17 Sept 2026FreeEntry