The Church-Turing Thesis: Story and Recent Progress
1:06:01
The Church-Turing Thesis: Story and Recent Progress
1:08:24
Lambda Calculus vs. Turing Machines (Theory of Computation)
56:41
When Einstein Walked with Gödel: Excursions to the Edge of Thought - Jim Holt
12:59
The Boundary of Computation
56:45
Church-Turing Thesis Cannot Possibly Be True
42:43
"Propositions as Types" by Philip Wadler
24:00
Scott Aaronson, "Remarks on the Physical Church-Turing Thesis" FQXi conference 2014 in Vieques
47:24