『aboutlogic』のカバーアート

aboutlogic

aboutlogic

著者： Deniz Sarikaya Thorsten Altenkirch
無料で聴く

aboutlogic is a podcast on logic, foundations of mathematics, philosophy, and theoretical computer science. aboutlogic features in-depth conversations with people working in and around the foundations of these subjects. We talk about topics ranging from the foundations of computer science and set theory to critical thinking, puzzles, and what academic life is really like—its motivations, frustrations, and surprises. 哲学 数学 社会科学 科学
エピソード
  • aboutlogic: premises #07 | Fixing Russell’s Paradox: The Birth of ZFC & Constructive Set Theory

    aboutlogic: premises #07 | Fixing Russell’s Paradox: The Birth of ZFC & Constructive Set Theory
    2026/09/02
    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.
    続きを読む 一部表示
    30 分
  • aboutlogic #19 | Homotopy Type Theory, Narya & the Future of Proof Assistants with Mike Shulman

    aboutlogic #19 | Homotopy Type Theory, Narya & the Future of Proof Assistants with Mike Shulman
    2026/08/26
    Homotopy Type Theory, Narya & the Future of Proof Assistants with Michael Shulman. How does homotopy type theory bridge the gap between abstract mathematics and computational proof systems? Mike Shulman (University of San Diego) joins Deniz and Thorsten to discuss his journey from topology to higher observational type theory, the development of the Narya proof assistant, and how these tools are reshaping the way we think about equality, equivalence, and computation in mathematics.
    続きを読む 一部表示
    1 時間 1 分
  • aboutlogic:premises #06 | What Is a Set? A Beginner’s Guide to Set Theory

    aboutlogic:premises #06 | What Is a Set? A Beginner’s Guide to Set Theory
    2026/08/19
    What Is a Set? A Beginner’s Guide to Set Theory | aboutlogic: premises #06 In this aboutlogic: premises episode, Deniz and Thorsten explore the foundations of set theory. From Cantor’s groundbreaking ideas to Frege’s logical foundations and Russell’s paradox. Discover how sets evolved from simple collections to a rigorous mathematical framework, and why the power set, well-ordering, and the continuum hypothesis remain some of the most fascinating (and controversial) ideas in math.
    続きを読む 一部表示
    27 分
adbl_web_anon_alc_button_suppression_t1
まだレビューはありません