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

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 [https://buymeacoffee.com/aboutlogic] This episode is also available as a video on our YouTube channel: https://www.youtube.com/@aboutlogic [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 [https://ncatlab.org/nlab/show/Urs+Schreiber] Get the HoTT Book for free (no advertisement): https://homotopytypetheory.org/book/ [https://homotopytypetheory.org/book/] Thorsten Altenkirch: http://www.cs.nott.ac.uk/~psztxa/ [http://www.cs.nott.ac.uk/~psztxa/] Deniz Sarikaya: https://www.denizsarikaya.de/ [https://www.denizsarikaya.de/] Creative Production: Jan-Niklas Meyer: http://www.jammos.com/ [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.

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 [https://buymeacoffee.com/aboutlogic] Listen to the podcast on the go: https://aboutlogic.podigee.io/ [https://aboutlogic.podigee.io/] Further Reading & Resources: Get the HoTT Book for free (no advertisement): https://homotopytypetheory.org/book/ [https://homotopytypetheory.org/book/] Thorsten Altenkirch: http://www.cs.nott.ac.uk/~psztxa/ [http://www.cs.nott.ac.uk/~psztxa/] Deniz Sarikaya: https://www.denizsarikaya.de/ [https://www.denizsarikaya.de/] Creative Production: Jan-Niklas Meyer: http://www.jammos.com/ [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.

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/ [https://jordifairhurst.weebly.com/] Seunghyun Song: https://www.tilburguniversity.edu/staff/s-song_1 [https://www.tilburguniversity.edu/staff/s-song_1] Get the HoTT Book for free (no advertisement): https://homotopytypetheory.org/book/ [https://homotopytypetheory.org/book/] Thorsten Altenkirch: http://www.cs.nott.ac.uk/~psztxa/ [http://www.cs.nott.ac.uk/~psztxa/] Deniz Sarikaya: https://www.denizsarikaya.de/ [https://www.denizsarikaya.de/] Creative Production: Jan-Niklas Meyer: http://www.jammos.com/ [http://www.jammos.com/]

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 [https://youtu.be/sbQi6HjyBHM] Further Reading & Resources: Andrej Bauer: https://www.andrej.com/ [https://www.andrej.com/] Get the HoTT Book for free (no advertisement): https://homotopytypetheory.org/book/ [https://homotopytypetheory.org/book/] Thorsten Altenkirch: http://www.cs.nott.ac.uk/~psztxa/ [http://www.cs.nott.ac.uk/~psztxa/] Deniz Sarikaya: https://www.denizsarikaya.de/ [https://www.denizsarikaya.de/] Creative Production: Jan-Niklas Meyer: http://www.jammos.com/ [http://www.jammos.com/]

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 [https://youtu.be/81CRjASvIng] Further Reading & Resources: Thorsten Altenkirch: http://www.cs.nott.ac.uk/~psztxa/ [http://www.cs.nott.ac.uk/~psztxa/] Deniz Sarikaya: https://www.denizsarikaya.de/ [https://www.denizsarikaya.de/] Production: Jan-Niklas Meyer: http://www.jammos.com/ [http://www.jammos.com/] Many thanks to the Akademie der Wissenschaften in Hamburg for supporting the first season of the podcast.