Andrew Appel: Turing, Gödel, and Church at Princeton in the 1930s
39:12
Turing Centennial Conference: Turing, Church, Gödel, Computability, Complexity and Randomization
1:20:48
The Church-Turing Thesis: Story and Recent Progress
58:16
Limits of Logic: The Gödel Legacy
1:08:24
Lambda Calculus vs. Turing Machines (Theory of Computation)
32:12
David MacMillan's Nobel Prize lecture in chemistry
1:58:33
INCOMPLETENESS: The Proof and Paradox of Kurt Godel, Dr. Rebecca Goldstein, Harvard
1:03:41
Philip Wadler: Church's Coincidences
1:33:09