Gödel, Anselm, and the Truth Beyond the System

Princeton, 1941: Kurt Gödel, famed for proving that any formal system of arithmetic contains true statements it cannot prove, reads Scripture and pursues the philosophical consequences of his theorem. He treats incompleteness not as despair but as a clue that truth exceeds any closed system. Tracing a line from Anselm’s ontological intuition to Gödel’s modal proof for God, the episode explores how rigorous logic and devout faith can converge: both suggest there are realities our systems can point to but not wholly contain. Anchored by Paul’s words in Romans 11, the episode argues that the limits discovered by mathematics and philosophy may point outward to a sustaining source—‘of, through, and to’ whom all things are—and invites listeners to see boundaries as signposts rather than dead ends.