Podcast Episodes
Back to Search
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/@about…
2 hours ago
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
Y…
1 week ago
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.co…
2 weeks ago
#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 bu…
3 weeks ago
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 t…
4 weeks ago
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 coff…
1 month ago
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…
1 month, 2 weeks ago
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 h…
2 months ago
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/ …
2 months, 2 weeks ago
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 & Res…
3 months ago