Podcast Episodes
Back to Search
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 & Resource…
3 months, 1 week ago
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/…
3 months, 3 weeks ago
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://homoto…
4 months, 1 week ago
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…
4 months, 3 weeks ago
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…
5 months, 1 week ago
aboutlogic #01 | Thorsten Altenkirch – Theorem Proving, Constructive Math & Type Theory
Theorem proving software in education, constructive mathematics, type theory and many more.
Further Reading & Resources: Get the HoTT Book for free (…
5 months, 3 weeks ago
aboutlogic #03 | Kevin Buzzard – Lean & Formal Mathematics
Theorem Proving Software, LEAN, Fermat's Last Theorem and Foundations of Mathematics.
Further Reading & Resources: The Natural Number Game: https://a…
5 months, 3 weeks ago
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 th…
5 months, 3 weeks ago
aboutlogic Teaser | A Podcast on Logic, Mathematics & Philosophy
From foundations of computer science, set theory, critical thinking, riddles to the questions how it is to be an academic researcher.
Further Reading…
5 months, 3 weeks ago