aboutlogic

Deniz Sarikaya, Thorsten Altenkirch
  • 0,0 (0)
  • Matemàtiques

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. fa 4 dies

    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

  2. 19 d’ag.

    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

  3. 13 d’ag.

    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

  4. 5 d’ag.

    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

  5. 29 de jul.

    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

  6. 22 de jul.

    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

  7. 15 de jul.

    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

  8. 8 de jul.

    aboutlogic: premises #03 | Synthetic vs. Analytic Math: Inspired by Emily Riehl

    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.

    aboutlogic: premises #03 | Synthetic vs. Analytic Math: Inspired by Emily Riehl
Veure-ho tot (26)

Tràiler

Informació

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.

Fitxa tècnica

  • Creació
    Deniz Sarikaya, Thorsten Altenkirch
  • Anys en actiu
    2026
  • Episodis
    26
  • Qualificació
    Apte
  • Lloc web del programa
    aboutlogic
  • Proveïdor

També et pot agradar