1:19:48

The Gödel incompleteness phenomenon

1:40:26

What is Proof?

13:49

Roger Penrose - Is Mathematics Invented or Discovered?

36:10

What A General Diagonal Argument Looks Like (Category Theory)

12:59

The Boundary of Computation

1:27:20

Climb to Infinity!

1:22:01

The Rise of Rigor in the Calculus

19:44

Biggest Puzzle in Computer Science: P vs. NP