- wöchentlichErscheinungsrhythmus
- 41 mintypische Länge
- vor 2 Tagenletzte Folge
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.
Folgen
aboutlogic #24 | Why Didn't Homotopy Type Theory Take Over the World? | Ulrik Buchholtz
Why Didn't Homotopy Type Theory Take Over the World? You can now become a channel member on Youtube. or you can buy us a coffee here: https://buymeacoffee.com/aboutlogic Your support helps us keep these conversations going! Get the HoTT Boo
aboutlogic premises #10 | Is Unique Choice Really a Choice? (Follow-up to Giovanni Sambin)
Is Unique Choice Really a Choice with Giovanni Sambin Watch our conversation with Giovanni Sambin here: https://youtu.be/81A2A2HRvrA Become an Omega or Aleph Member on Youtube and help us keep this going! 🙏 https://www.youtube.com/@aboutlo
aboutlogic #23 | Rebuilding Mathematics from the Ground Up | Giovanni Sambin
Rebuilding Mathematics from the Ground Up with Giovanni Sambin You can now become a channel member on Youtube. Your support helps us keep these conversations going! If you’d like to contribute, you can buy us a coffee here: https://buymeaco
Season 2 Recap: From Gödel to AI-Proved Math | aboutlogic #22
From Gödel to AI-Proved Math You can now become a channel member on Youtube. 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 Get the HoTT B
aboutlogic: premises #09 | Why Symbolic AI Failed — and Then Won
Why Symbolic AI Failed — and Then Won Become an Omega or Aleph Member on Yotuube and help us keep this going! 🙏 https://www.youtube.com/@aboutlogic Or you can buy us a coffee here: https://buymeacoffee.com/aboutlogic Further Reading & Reso
aboutlogic #21 | Category Theory Meets Agentic AI | Neil Ghani (Kodamai)
Category Theory Meets Agentic AI You can now become a channel member on Youtube: https://www.youtube.com/@aboutlogic Your support helps us keep these conversations going! If you’d like to contribute, you can buy us a coffee here: https://bu
aboutlogic: premises #08 | Choice vs. Excluded Middle: A Constructive Paradox
A Constructive Paradox Become an Omega or Aleph Member on Youtube and help us keep this going! 🙏 https://www.youtube.com/@aboutlogic Or you can buy us a coffee here: https://buymeacoffee.com/aboutlogic Further Reading & Resources: Get the
aboutlogic #20 | Can AI Prove the Riemann Hypothesis? | Tudor Achim (Harmonic)
Developing the Artificial Mathematical Superintelligence You can now become a channel member on Youtube. https://www.youtube.com/@aboutlogic Your support helps us keep these conversations going! If you’d like to contribute, you can buy us a
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 Further Reading & Resources: Get the HoTT Book for free (no advertisement): https://homotopytypetheory.org/book/ Thorsten Altenkirch: http://www.cs.nott.ac.uk/~psztxa/ Den
aboutlogic #19 | Homotopy Type Theory, Narya & the Future of Proof Assistants with Mike Shulman
Homotopy Type Theory, Narya & the Future of Proof Assistants 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 This episode is also available
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 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.
aboutlogic #18 | The Hidden History of Logic: Jan von Plato on Gödel, Gentzen & Bernays
The Hidden History of Logic: Jan von Plato on Gödel, Gentzen & Bernays 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 This episode is also
aboutlogic: premises #05 | Dependent Type Theory: A Revolution in Math & Computer Science
Dependent Type Theory: A Revolution in Math & Computer Science 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 Further Reading & Resources:
aboutlogic #17 | José Pérez Escobar – Wittgenstein, Turing & the Philosophy of Applied Mathematics
Wittgenstein, Turing & the Philosophy of Applied Mathematics 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 This episode is also available
aboutlogic: premises #04 | The Harry Potter Approach to Proof Assistants – Lean, Agda & AI
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 This episode is also availa
aboutlogic #16 | Schröder & Fisseni – The Language of Mathematics: Frames, Narratives & AI
The Language of Mathematics: Frames, Narratives & 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 This episode is also available as a vi
aboutlogic: premises #03 | Synthetic vs. Analytic Math: Inspired by Emily Riehl
Synthetic vs. Analytic Math: Inspired by Emily Riehl This episode is also available as a video on our YouTube channel: https://www.youtube.com/@aboutlogic Your support helps us keep these conversations going! If you’d like to contribute, yo
aboutlogic #15 | Emily Riehl – Higher Category Theory, Homotopy & AI in Math
Higher Category Theory, Homotopy & AI in Math This episode is also available as a video on our YouTube channel: https://www.youtube.com/@aboutlogic Your support helps us keep these conversations going! If you’d like to contribute, you can b
aboutlogic: premises #02 | Hilbert’s Hotel & Cantor’s Infinity: The Story of Set Theory
Hilbert’s Hotel & Cantor’s Infinity: The Story of Set Theory This episode is also available as a video on our YouTube channel: https://www.youtube.com/@aboutlogic Your support helps us keep these conversations going! If you’d like to contri
#14 aboutlogic | Dana Scott – Lambda Calculus, Forcing & the Foundations of Math
Dana Scott: Turing Award Winner on Logic & Computation 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 Get the HoTT Book for free (no adver
aboutlogic: premises #01 | Is Math a Story? A Constructivist Perspective and Captain Ahab's Dilemma
Storytelling in Math - A Constructivist Perspective and Captain Ahab's Dilemma 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 Further Read
aboutlogic #13 | Joel David Hamkins – Set Theory, Pluralism & the Multiverse View
Set Theory, Pluralism & the Multiverse View 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 Further Reading & Resources: Joel David Hamkins
aboutlogic #12 | Urs Schreiber – Quantum (Physics, Computing), Topos & Homotopy Theory
Quantum (Physics, Computing), Topos & Homotopy 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 This episode is also available as a v
aboutlogic #11 | Season 1 Recap: Feedback, Highlights & Season 2 Preview
Feedback, Highlights & Season 2 Preview 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 Listen to the podcast on the go: https://aboutlogic
aboutlogic #10 | Seunghyun Song & Jordi Fairhurst – ABC Conjecture, Epistemic & Linguistic Justice
ABC Conjecture, Epistemic & Linguistic Justice in non-Western maths Further Reading & Resources: Jordi Fairhurst: https://jordifairhurst.weebly.com/ Seunghyun Song: https://www.tilburguniversity.edu/staff/s-song_1 Get the HoTT Book for free
aboutlogic #09 | Andrej Bauer – 5 Stages of Accepting Intuitionistic Math & Proofs by Contradiction
5 Stages of Accepting Intuitionistic Math & Proofs by Contradiction Watch this Episode on Youtube: https://youtu.be/sbQi6HjyBHM Further Reading & Resources: Andrej Bauer: https://www.andrej.com/ Get the HoTT Book for free (no advertisement)
aboutlogic #08 | Deborah Kant – Talking with Set Theorists: Insights in Mathematical Philosophy
Talking with Set Theorists: Insights in Mathematical Philosophy Watch the Episode on Youtube: https://youtu.be/81CRjASvIng Further Reading & Resources: Thorsten Altenkirch: http://www.cs.nott.ac.uk/~psztxa/ Deniz Sarikaya: https://www.deniz
aboutlogic #07 | Alexander Steen – Interactive Theorem Provers, Legal Reasoning, Non-Standard Logics
Interactive Theorem Provers, Legal Reasoning, Non-Standard Logics Further Reading & Resources: The Natural Number Game: https://adam.math.hhu.de/#/g/leanprover-community/nng4 The Xena Project: https://xenaproject.wordpress.com/ Graham Pries
aboutlogic #06 | Colin Rittberg – Philosophy & Sociology of Mathematics, Epistemic Injustice
Philosophy & Sociology of Mathematics, Epistemic Injustice Further Reading & Resources: Get the HoTT Book for free (no advertisement): https://homotopytypetheory.org/book/ Thorsten Altenkirch: http://www.cs.nott.ac.uk/~psztxa/ Deniz Sarikay
aboutlogic #05 | Steve Awodey – Homotopy Type Theory, Logic & Philosophy
Homotopy Type Theory, Logic & Philosophy "I am convinced that my Begriffsschrift will find successful application wherever particular value is placed on the rigor of proofs, as in the foundations of the differential and integral calculus. I
