What is Proof?
1:24:10
What is Computability?
1:26:30
Joel David Hamkins: Philosophy of mathematics and truth
1:11:13
What is a number?
58:16
Limits of Logic: The Gödel Legacy
1:19:48
The Gödel incompleteness phenomenon
1:36:50
Set Theory and the Philosophy of Set Theory
29:06
4. Deductive Systems - Logic for Beginners
27:32