aboutlogic

aboutlogic: premises #08 | Choice vs. Excluded Middle: A Constructive Paradox

Choice vs. Excluded Middle: A Constructive Paradox | aboutlogic: premises #08 Constructive mathematics is all about building things explicitly — so why does it reject the

aboutlogic #20 | Can AI Prove the Riemann Hypothesis? | Tudor Achim (Harmonic)

Can AI prove the Riemann Hypothesis? Tudor Achim, CEO of Harmonic and creator of Aristotle — the first AI to win IMO gold and solve Erdős problems using the Lean theorem

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 episod

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 computat

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.

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 co

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 episo

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 ma

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

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 F

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.

aboutlogic #15 | Emily Riehl – Higher Category Theory, Homotopy & AI in Math

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 foundatio

aboutlogic: premises #02 | Hilbert’s Hotel & Cantor’s Infinity: The Story of Set Theory

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—

#14 aboutlogic | Dana Scott – Lambda Calculus, Forcing & the Foundations of Math

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 rev

aboutlogic: premises #01 | Is Math a Story? A Constructivist Perspective and Captain Ahab's Dilemma

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

aboutlogic #13 | Joel David Hamkins – Set Theory, Pluralism & the Multiverse View

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, mathemat

aboutlogic #12 | Urs Schreiber – Quantum (Physics, Computing), Topos & Homotopy Theory

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 th

aboutlogic #11 | Season 1 Recap: Feedback, Highlights & Season 2 Preview

aboutlogic #11 | In this special Season 1 Recap of aboutlogic, Deniz and Thorsten reflect on your comments and feedback, revisit some of the most intriguing topics, and l

aboutlogic #10 | Seunghyun Song & Jordi Fairhurst – ABC Conjecture, Epistemic & Linguistic Justice

aboutlogic #10 | In this episode, we talk with Seunghyun Song and Jordi Fairhurst about the ABC conjecture, the importance of epistemic justice, and the role of linguisti

aboutlogic #09 | Andrej Bauer – 5 Stages of Accepting Intuitionistic Math & Proofs by Contradiction

aboutlogic #09 | In this episode, we talk with Andrej Bauer about the five stages of accepting intuitionistic mathematics and the challenges surrounding proofs by contrad