aboutlogic
Deniz Sarikaya, Thorsten Altenkirch
Publishing Details
Contact & Outreach
About This Podcast
Podcasting 2.0 Features
Explore Statistics
Recent Episodes
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:…
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:…
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:…
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:…
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:…
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:…
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:…
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:…
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…
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…
aboutlogic #04 | Graham Priest – Working with Contradictions & Paraconsistent Logics
Working with Contradictions — Graham Priest Contradictory Logics and More Further Reading & Resources: The Natural Number Game: https://adam.math.hhu.de/#/g/leanprover-community/nng4 The Xena…
aboutlogic #02 | Deniz Sarikaya – Philosophy of Math, Sociology, Set Theory & Universe vs Multiverse
Philosophy of Mathematical Practice, Sociology of Mathematics, Set Theory and the Universe vs. Multiverse-Debate Further Reading & Resources: Get the HoTT Book for free (no advertisement):…
aboutlogic #03 | Kevin Buzzard – Lean & Formal Mathematics
Theorem Proving Software, LEAN, Fermat's Last Theorem and Foundations of Mathematics. Further Reading & Resources: The Natural Number Game:…
aboutlogic #01 | Thorsten Altenkirch – Theorem Proving, Constructive Math & Type Theory
Theorem proving software in education, constructive mathematics, type theory and many more. Further Reading & Resources: Get the HoTT Book for free (no advertisement):…
aboutlogic Teaser | A Podcast on Logic, Mathematics & Philosophy
From foundations of computer science, set theory, critical thinking, riddles to the questions how it is to be an academic researcher. Further Reading & Resources: Get the HoTT Book for free (no…
Frequently Asked Questions
aboutlogic has published 15 episodes since January 2026, covering topics in Mathematics, Philosophy.
aboutlogic is currently highly active with new episodes every 2 weeks. Average episode length is 50m.
Sign up on Grep.FM to access contact details for aboutlogic, including email and social media links.
Similar Podcasts
Plato's Pod: Dialogues on the works of Plato
James Myers
77 episodes
The Mathematicians Podcast
Ben Cornish
57 episodes
Quantum Foam
Dr. Hezekiah Paul Smith
50 episodes
APLC Change Maker Conversations in Education
Rick Gilson
41 episodes
Seminar of Jacques Lacan
LacaninIreland.com
10 episodes
Thinking Things Through with Ron Choong
Ron Choong
13 episodes