What is Proof?
1:24:10
What is Computability?
1:36:50
Set Theory and the Philosophy of Set Theory
1:19:48
The Gödel incompleteness phenomenon
27:32
How to Read Logic
1:32:32
Philosophy of Mathematics & Frege - Michael Dummett (1994)
36:10
What A General Diagonal Argument Looks Like (Category Theory)
28:28
Russell's Paradox - a simple explanation of a profound problem
1:11:13