Math's Existential Crisis (Gödel's Incompleteness Theorems)
6:20
Gödel's First Incompleteness Theorem, Proof Sketch
13:52
Gödel's Incompleteness Theorem - Numberphile
19:05
Absolute Infinity - Numberphile
15:47
How AI pioneer Doug Hofstadter wrote Gödel, Escher, Bach
13:41
Every Unsolved Math Problem Solved
12:21
The Mathematician Who Discovered Math's Greatest Mystery
27:57
Gödel's Argument for God
10:10