The Gödel incompleteness phenomenon
1:36:50
Set Theory and the Philosophy of Set Theory
10:49
Sir Roger Penrose explaining Godel's incompleteness theorems.
1:11:13
What is a number?
56:41
When Einstein Walked with Gödel: Excursions to the Edge of Thought - Jim Holt
1:24:10
What is Computability?
1:42:21
Joel David Hamkins on Gödel's Incompleteness, Set-Theoretic Multiverse & Foundations of Mathematics
1:12:06
“An Antiphilosophy of Mathematics,” Peter J. Freyd
1:21:24