Church-Turing Thesis Cannot Possibly Be True
1:20:48
The Church-Turing Thesis: Story and Recent Progress
58:16
Limits of Logic: The Gödel Legacy
12:59
The Boundary of Computation
1:28:23
Quantum Computing for Computer Scientists
41:40
"Categories for the Working Hacker" by Philip Wadler
39:12
Turing Centennial Conference: Turing, Church, Gödel, Computability, Complexity and Randomization
15:53
What is the Church-Turing Thesis?
42:43