1:33:09

The Problem of Modelling the Mathematical Mind

47:24

Andrew Appel: Turing, Gödel, and Church at Princeton in the 1930s

58:23

3D Computer Vision: Past, Present, and Future

1:01:38

Beyond Computation: The P vs NP Problem - Michael Sipser

1:20:48

The Church-Turing Thesis: Story and Recent Progress

56:41

When Einstein Walked with Gödel: Excursions to the Edge of Thought - Jim Holt

1:58:33

INCOMPLETENESS: The Proof and Paradox of Kurt Godel, Dr. Rebecca Goldstein, Harvard

1:09:57

Quantum Computing and the Limits of the Efficiently Computable - 2011 Buhl Lecture