What Gödel Discovered (2020)
Summary
An accessible overview of Gödel's incompleteness theorem presented through a PM-Lisp style encoding. The piece links unification of mathematical ideas to the limits of formal systems, and uses programming metaphors to explain proofs, Gödel numbers, and self-reference.