We’re joined by Steve Awodey, one of the founders of Homotopy Type Theory. In this episode, we talk about the relationship between philosophy and mathematics, the main ideas behind geometric thinking and logic, and how all of this connects to computer science. Join the Discussion: Have questions or thoughts to share? Drop a comment below and engage in a discussion with fellow viewers and experts.
AI 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 #10 | Seunghyun Song & Jordi Fairhurst – ABC Conjecture, Epistemic & Linguistic Justice
aboutlogic #09 | Andrej Bauer – 5 Stages of Accepting Intuitionistic Math & Proofs by Contradiction
aboutlogic #08 | Deborah Kant – Talking with Set Theorists: Insights in Mathematical Philosophy
aboutlogic #07 | Alexander Steen – Interactive Theorem Provers, Legal Reasoning, Non-Standard Logics
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.