Mathematical logic Courses
Schmid College, Chapman University via YouTube Remarks about Cantor's Theorem
Schmid College, Chapman University via YouTube Mathematical Truth and the Necessity of the Infinite
Schmid College, Chapman University via YouTube The Structure of Residuated Lattices
Schmid College, Chapman University via YouTube Dedekind Abstraction: Towards a Logical Reconstruction and Defense
Schmid College, Chapman University via YouTube Why Loops End in C++
CppCon via YouTube Principia Mathematica - The Foundations of Arithmetic in C++ - Lecture
CppCon via YouTube Why C++ Loops End - Midnote
cpponsea via YouTube Beyond the Infinite: Exploring Set Theory and the Continuum Hypothesis - Rothschild Lecture
Isaac Newton Institute for Mathematical Sciences via YouTube The Philosophical Foundations of Intuitionistic Mathematics - Indeterminacy, Autonomy, and Time - Lecture 2
NCCR SwissMAP via YouTube