EPISODE · Sep 2, 2026 · 30 MIN
aboutlogic: premises #07 | Fixing Russell’s Paradox: The Birth of ZFC & Constructive Set Theory
from aboutlogic · host Deniz Sarikaya, Thorsten Altenkirch
Fixing Russell’s Paradox: The Birth of ZFC & Constructive Set Theory How did mathematicians fix Russell’s paradox and save set theory? In this aboutlogic: premises episode, Deniz and Thorsten explore the solutions that reshaped the foundations of mathematics. From Zermelo-Fraenkel (ZFC) axioms to constructive set theories (IZF, CZF). Discover how large cardinals, the continuum hypothesis, and the iterative conception of sets became central to modern set theory and why some mathematicians still prefer type theory for its structural and computational advantages. Your support helps us keep these conversations going! If you’d like to contribute, you can buy us a coffee here: https://buymeacoffee.com/aboutlogic Or become a channel member here on Youtube. We’d love to have your support! https://www.youtube.com/@aboutlogic Join the Discussion: Have questions or thoughts to share? Drop a comment below and engage in a discussion with fellow viewers and experts.
Embed this episode
Ready to play
aboutlogic: premises #07 | Fixing Russell’s Paradox: The Birth of ZFC & Constructive Set Theory
No transcript for this episode yet
Similar Episodes
No similar episodes found.
Similar Podcasts
No similar podcasts found.