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
56:41
When Einstein Walked with Gödel: Excursions to the Edge of Thought - Jim Holt
1:20:48
The Church-Turing Thesis: Story and Recent Progress
32:12
David MacMillan's Nobel Prize lecture in chemistry
53:29
Cantor's Infinities - Professor Raymond Flood
1:03:41
Philip Wadler: Church's Coincidences
12:40
Lambda Calculus - Computerphile
52:30