aboutlogic

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, you can buy us a coffee here: https://buymeacoffee.com/aboutlogic

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/

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 buy us a coffee here: https://buymeacoffee.com/aboutlogic

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? Dr...

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 contribute, you can buy us a coffee here: https://buymeacoffee.com/aboutlogic

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/

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 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.

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 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 an...

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: https://jdh.hamkins.org/ Joel's substack: https://www.infinitelymore.xyz/ Joel's book Lectures on the Philosophy of Mathematics: https://mitpress.mit.edu/9780262542234/lectures-on-the-philosophy-of-mathematics/ Joel's new book, The Book of Infinity: https://mitpress.mit.edu/9780262054010/the-book-of-infinity/

Get the HoTT Book for free (no advertisement): https://homotopytypetheory.org/book/ Thorsten Altenkirch: http://www.cs.nott.ac.uk/~psztxa/ Deniz Sarikaya: ht...

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 It...

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...

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/

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/

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.

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.

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.

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...

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.

Theorem proving software in education, constructive mathematics, type theory and many more.

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: Jan-Niklas Meyer: http://www.jammos.com/

Many thanks to the Akademie der Wissenschaften in Hamburg for supporting the first season of the podcast.

Theorem Proving Software, LEAN, Fermat's Last Theorem and Foundations of Mathematics.

Further Reading & Resources: The Natural Number Game: https://adam.math.hhu.de/#/g/leanprover-community/nng4 The Xena Project: https://xenaproject.wordpress.com/ Kevin Buzzard: https://profiles.imperial.ac.uk/k.buzzard

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.

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.

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 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.