aboutlogic

Deniz Sarikaya, Thorsten Altenkirch
  • 0.0(0개의 평가)
  • 수학

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.

  1. 2일 전

    aboutlogic: premises #07 | Fixing Russell’s Paradox: The Birth of ZFC & Constructive Set Theory

    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.

    aboutlogic: premises #07 | Fixing Russell’s Paradox: The Birth of ZFC & Constructive Set Theory

  2. 8월 26일

    aboutlogic #19 | Homotopy Type Theory, Narya & the Future of Proof Assistants with Mike Shulman

    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.

    aboutlogic #19 | Homotopy Type Theory, Narya & the Future of Proof Assistants with Mike Shulman

  3. 8월 19일

    aboutlogic:premises #06 | What Is a Set? A Beginner’s Guide to Set Theory

    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.

    aboutlogic:premises #06 | What Is a Set? A Beginner’s Guide to Set Theory

  4. 8월 13일

    aboutlogic #18 | The Hidden History of Logic: Jan von Plato on Gödel, Gentzen & Bernays

    aboutlogic #18 | What really happened in the 1930s logic revolution? Jan von Plato (University of Helsinki, ERC Grantee) joins Deniz and Thorsten to uncover the hidden collaborations, misunderstandings, and lost manuscripts that shaped modern logic. From Gödel’s unpublished notes to Gentzen’s lost normalization proof and Bernays’ pivotal role in Hilbert’s school, this episode reveals how the history of logic is far richer—and more interconnected—than we often assume.

    aboutlogic #18 | The Hidden History of Logic: Jan von Plato on Gödel, Gentzen & Bernays

  5. 8월 5일

    aboutlogic: premises #05 | Dependent Type Theory: A Revolution in Math & Computer Science

    Dependent Type Theory: A Revolution in Math & Computer Science | aboutlogic: premises #05 What makes dependent type theory so powerful? In this aboutlogic: premises episode, Deniz and Thorsten explore the evolution of type theory. From simple types to Pierre Martin-Löf’s groundbreaking dependent types. Discover how this innovation transformed mathematics and computer science by allowing types to depend on values, enabling more expressive and precise reasoning.

    aboutlogic: premises #05 | Dependent Type Theory: A Revolution in Math & Computer Science

  6. 7월 29일

    aboutlogic #17 | José Pérez Escobar – Wittgenstein, Turing & the Philosophy of Applied Mathematics

    aboutlogic #17 | Why is mathematics so effective in science? José Pérez Escobar (UNED, Madrid) joins Deniz and Thorsten to explore Wittgenstein’s philosophy of applied mathematics, the role of rules vs. structures in math, and how models shape our understanding of reality. From neuroscience to physics, José explains why mathematical models often act as rules of description rather than mere representations of reality and how this perspective resolves Wittgenstein’s "rule-following paradox." The conversation also dives into Turing’s structural view of math, the Dirac delta function controversy, and whether contradictions in mathematics are truly problematic.

    aboutlogic #17 | José Pérez Escobar – Wittgenstein, Turing & the Philosophy of Applied Mathematics

  7. 7월 22일

    aboutlogic: premises #04 | The Harry Potter Approach to Proof Assistants – Lean, Agda & AI

    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 How do interactive theorem provers like Lean and Agda change the way we teach and do mathematics? In this aboutlogic: premises episode, Deniz and Thorsten discuss the role of proof assistants in education, the differences between Lean and Agda, and how AI is transforming formal verification.

    aboutlogic: premises #04 | The Harry Potter Approach to Proof Assistants – Lean, Agda & AI

  8. 7월 15일

    aboutlogic #16 | Schröder & Fisseni – The Language of Mathematics: Frames, Narratives & AI

    aboutlogic #16 | How is mathematical language structured, and what can linguistics teach us about proofs, ambiguity, and storytelling in math? In this episode, Bernhard Fisseni and Bernhard Schröder (University of Duisburg-Essen) join Deniz and Thorsten to explore the frames, narratives, and pragmatic structures behind mathematical texts.

    aboutlogic #16 | Schröder & Fisseni – The Language of Mathematics: Frames, Narratives & AI
모두 보기(27개)

예고편

소개

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.

정보

  • 제작진
    Deniz Sarikaya, Thorsten Altenkirch
  • 방송 연도
    2026년
  • 에피소드
    27
  • 등급
    전체 연령 사용가
  • 웹사이트 보기
    aboutlogic

좋아할 만한 다른 항목