
Our weekly Premises: Behind-the-scenes thoughts, deep dives, and the ideas that didn’t fit into the main episodes. Is mathematics a discovery or a story we tell ourselves? In this first aboutlogic: premises episode, Deniz and Thorsten explore why math might be more like fiction than absolute truth and what that means for logic, proof, and the future of the field.
Podzilla Summary coming soon
Sign up to get notified when the full AI-powered summary is ready.
Free forever for up to 3 podcasts. No credit card required.

aboutlogic #17 | José Pérez Escobar – Wittgenstein, Turing & the Philosophy of Applied Mathematics

aboutlogic: premises #04 | The Harry Potter Approach to Proof Assistants – Lean, Agda & AI

aboutlogic #16 | Schröder & Fisseni – The Language of Mathematics: Frames, Narratives & AI

aboutlogic: premises #03 | Synthetic vs. Analytic Math: Inspired by Emily Riehl
Free AI-powered recaps of aboutlogic and your other favorite podcasts, delivered to your inbox.
Free forever for up to 3 podcasts. No credit card required.