What is Proof?

1:24:10
What is Computability?

1:11:13
What is a number?

1:27:39
Stephen Wolfram | Computational Foundations of Everything

1:19:48
The Gödel incompleteness phenomenon

1:36:50
Set Theory and the Philosophy of Set Theory

58:16
Limits of Logic: The Gödel Legacy

1:34:22
Geometry — a paragon of mathematical deduction?

53:46