エピソード

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

    aboutlogic #16 | Schröder & Fisseni – The Language of Mathematics: Frames, Narratives & AI
    2026/07/15
    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.
    続きを読む 一部表示
    50 分
  • aboutlogic: premises #03 | Synthetic vs. Analytic Math: Inspired by Emily Riehl

    aboutlogic: premises #03 | Synthetic vs. Analytic Math: Inspired by Emily Riehl
    2026/07/08
    Inspired by our conversation with Emily Riehl on higher category theory, this aboutlogic: premises episode dives into the synthetic vs. analytic approach in mathematics. Deniz and Thorsten explore how Euclid’s geometry, category theory, and higher categories embody the synthetic approach. Focusing on abstract structures and relationships rather than concrete coordinates or definitions.
    続きを読む 一部表示
    38 分
  • aboutlogic #15 | Emily Riehl – Higher Category Theory, Homotopy & AI in Math

    aboutlogic #15 | Emily Riehl – Higher Category Theory, Homotopy & AI in Math
    2026/07/01
    aboutlogic #15 | Emily Riehl (Johns Hopkins University) joins us to explore higher category theory, homotopy, and the role of AI in modern mathematics. From the foundations of category theory to the challenges of formalizing math with proof assistants like Lean, Emily shares her insights on synthetic vs. analytic approaches, the beauty of abstraction, and how AI is changing mathematical research.
    続きを読む 一部表示
    59 分
  • aboutlogic: premises #02 | Hilbert’s Hotel & Cantor’s Infinity: The Story of Set Theory

    aboutlogic: premises #02 | Hilbert’s Hotel & Cantor’s Infinity: The Story of Set Theory
    2026/06/24
    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 What is set theory—a foundation of math or a science of infinity? In this aboutlogic: premises episode, Deniz and Thorsten explore the history, paradoxes, and philosophical debates behind set theory. From Cantor’s diagonal argument to Hilbert’s Hotel and the role of ZFC, they discuss why set theory became the language of mathematics—and where its limits lie. Join the Discussion: Have questions or thoughts to share? Drop a comment below and engage in a discussion with fellow viewers and experts.
    続きを読む 一部表示
    27 分
  • #14 aboutlogic | Dana Scott – Lambda Calculus, Forcing & the Foundations of Math

    #14 aboutlogic | Dana Scott – Lambda Calculus, Forcing & the Foundations of Math
    2026/06/17
    aboutlogic #14 | Turing Award winner Dana Scott joins us to discuss his groundbreaking work on lambda calculus, forcing, and Boolean-valued models and how these ideas revolutionized set theory and computability. From his collaborations with Kleene and Solovay to his thoughts on constructive mathematics, Scott shares insights into the history and future of logical foundations. Hear anecdotes about Gödel’s unpublished ideas, Einstein’s influence, and the telephone conversations that shaped modern logic.
    続きを読む 一部表示
    33 分
  • aboutlogic: premises #01 | Is Math a Story? A Constructivist Perspective and Captain Ahab's Dilemma

    aboutlogic: premises #01 | Is Math a Story? A Constructivist Perspective and Captain Ahab's Dilemma
    2026/06/10
    Our weekly Premises: Behind-the-scenes thoughts, deep dives, and the ideas that didn’t fit into the main episodes. Is mathematics a discovery or a story we tell ourselves? In this first aboutlogic: premises episode, Deniz and Thorsten explore why math might be more like fiction than absolute truth and what that means for logic, proof, and the future of the field.
    続きを読む 一部表示
    26 分
  • aboutlogic #13 | Joel David Hamkins – Set Theory, Pluralism & the Multiverse View

    aboutlogic #13 | Joel David Hamkins – Set Theory, Pluralism & the Multiverse View
    2026/06/03
    aboutlogic #13 | In this episode of aboutlogic, we’re joined by Joel David Hamkins, professor at the University of Notre Dame and a leading figure in set theory, mathematical logic, and the philosophy of mathematics. Joel shares his insights into the multiverse view of set theory, a perspective that challenges the traditional "universe view" by embracing a pluralistic approach to mathematical truth. We explore how this view connects to constructivism, potentialism, and the foundations of mathematics, and discuss its implications for understanding concepts like the Continuum Hypothesis (CH) and the nature of mathematical reality. Joel also reflects on the historical contingency of mathematical axioms, the role of categoricity in mathematics, and how different philosophical perspectives, such as Platonism, formalism, and fictionalism, shape the way mathematicians approach their work. Whether you're a mathematician, philosopher, or simply curious about the foundations of logic, this conversation offers a deep dive into the diverse and evolving landscape of mathematical thought.
    続きを読む 一部表示
    1 時間 25 分
  • aboutlogic #12 | Urs Schreiber – Quantum (Physics, Computing), Topos & Homotopy Theory

    aboutlogic #12 | Urs Schreiber – Quantum (Physics, Computing), Topos & Homotopy Theory
    2026/05/20
    aboutlogic #12 | In this episode of aboutlogic, we’re joined by UrsSchreiber, a senior scientist at New York University Abu Dhabi. Urs shares insights into his work at the intersection of quantum physics, topos theory, and homotopy type theory. We explore how these advanced mathematical frameworks help address fundamental questions in physics, from understanding gauge fields to the role of higher category theory in describing the universe. Urs also discusses the historical and philosophical connections between physics and logic, and how modern mathematics is shaping our understanding of reality.
    続きを読む 一部表示
    1 時間