aboutlogic #05 | Steve Awodey – Homotopy Type Theory, Logic & Philosophy cover art

aboutlogic #05 | Steve Awodey – Homotopy Type Theory, Logic & Philosophy

aboutlogic #05 | Steve Awodey – Homotopy Type Theory, Logic & Philosophy

Listen for free

View show details

About this listen

 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.
No reviews yet
In the spirit of reconciliation, Audible acknowledges the Traditional Custodians of country throughout Australia and their connections to land, sea and community. We pay our respect to their elders past and present and extend that respect to all Aboriginal and Torres Strait Islander peoples today.