aboutlogic

By Deniz Sarikaya, Thorsten Altenkirch

We are a new bi-weekly podcast where logic, mathematics, philosophy, and computer science meet.

aboutlogic features in-depth conversations with people working in and around the foundations of these su... more

Download on the App Store

Download on the App Store

Get it on Google Play

FAQs about aboutlogic:

How many episodes does aboutlogic have?

The podcast currently has 13 episodes available.

aboutlogic episodes:

May 20, 2026 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 video on our YouTube channel: https://www.youtube.com/@aboutlogic
00:01:19 Introduction to Quantum Research and Technologies
00:04:34 Understanding Fermions, Bosons, and Anyons
00:10:16 The Role of Anyons in Quantum Computing
00:13:29 Understanding Topos Theory and Its Relevance
00:17:02 Mathematical Foundations: Differential Geometry and Topos Theory
00:20:55 The Intersection of Physics, Mathematics and Logic
00:32:31 Historical Context of Mathematics and Physics
00:37:26 Category Theory and Its Implications
00:41:23 Gauge Fields and Homotopy Type Theory
00:49:40 Philosophical Implications of Higher Topos Theory / Hegel
Further Reading & Resources:
Urs Schreiber: https://ncatlab.org/nlab/show/Urs+Schreiber
Get the HoTT Book for free (no advertisement): https://homotopytypetheory.org/book/
Thorsten Altenkirch: http://www.cs.nott.ac.uk/~psztxa/
Deniz Sarikaya: https://www.denizsarikaya.de/
Creative Production: Jan-Niklas Meyer: http://www.jammos.com/
Join the Discussion: Have questions or thoughts to share? Drop a comment below and engage in a discussion with fellow viewers and experts.
...more
1h
May 06, 2026 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.podigee.io/
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 Sarikaya: https://www.denizsarikaya.de/
Creative Production: Jan-Niklas Meyer: http://www.jammos.com/
Join the Discussion: Have questions or thoughts to share? Drop a comment below and engage in a discussion with fellow viewers and experts.
...more
1h 4min
April 22, 2026 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 (no advertisement): https://homotopytypetheory.org/book/
Thorsten Altenkirch: http://www.cs.nott.ac.uk/~psztxa/
Deniz Sarikaya: https://www.denizsarikaya.de/
Creative Production: Jan-Niklas Meyer: http://www.jammos.com/
...more
53min
April 08, 2026 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): https://homotopytypetheory.org/book/
Thorsten Altenkirch: http://www.cs.nott.ac.uk/~psztxa/
Deniz Sarikaya: https://www.denizsarikaya.de/
Creative Production: Jan-Niklas Meyer: http://www.jammos.com/
...more
49min
March 25, 2026 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.denizsarikaya.de/
Production:
Jan-Niklas Meyer: http://www.jammos.com/
Many thanks to the Akademie der Wissenschaften in Hamburg for supporting the first season of the podcast.
...more
47min
March 11, 2026 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 Priest: https://grahampriest.net/
Thorsten Altenkirch: http://www.cs.nott.ac.uk/~psztxa/
Deniz Sarikaya: https://www.denizsarikaya.de/
Production:
Jan-Niklas Meyer: http://www.jammos.com/
Many thanks to the Akademie der Wissenschaften in Hamburg for supporting the first season of the podcast.
...more
50min
February 25, 2026 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 Sarikaya: https://www.denizsarikaya.de/
Jan-Niklas Meyer: http://www.jammos.com/
Join the Discussion: Have questions or thoughts to share? Drop a comment below and engage in a discussion with fellow viewers and experts.
...more
48min
February 11, 2026 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. It seems to me that it would be even easier to extend the domain of this formal language to geometry. Only a few more symbols would need to be added for the intuitive relations occurring there. In this way, one would obtain a kind of analysis situs."
Preface to Begriffsschrift, 1879, Gottlob Frege
Further Reading & Resources:
The Natural Number Game: https://adam.math.hhu.de/#/g/leanprover-community/nng4
The Xena Project: https://xenaproject.wordpress.com/
Graham Priest: https://grahampriest.net/
Thorsten Altenkirch: http://www.cs.nott.ac.uk/~psztxa/
Deniz Sarikaya: https://www.denizsarikaya.de/
Production:
Jan-Niklas Meyer: http://www.jammos.com/
Many thanks to the Akademie der Wissenschaften in Hamburg for supporting the first season of the podcast.
...more
52min
January 28, 2026 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 Project: https://xenaproject.wordpress.com/
Graham Priest: https://grahampriest.net/
Thorsten Altenkirch: http://www.cs.nott.ac.uk/~psztxa/
Deniz Sarikaya: https://www.denizsarikaya.de/
Production:
Jan-Niklas Meyer: http://www.jammos.com/
Many thanks to the Akademie der Wissenschaften in Hamburg for supporting the first season of the podcast.
...more
47min
January 14, 2026 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): https://homotopytypetheory.org/book/
Thorsten Altenkirch: http://www.cs.nott.ac.uk/~psztxa/
Deniz Sarikaya: https://www.denizsarikaya.de/
Production, Creative Direction:
Jan-Niklas Meyer: http://www.jammos.com/
Many thanks to the Akademie der Wissenschaften in Hamburg for supporting the first season of the podcast.
...more
29min

FAQs about aboutlogic:

How many episodes does aboutlogic have?

The podcast currently has 13 episodes available.