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

from aboutlogic · host Deniz Sarikaya, Thorsten Altenkirch

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.

NOW PLAYING

0:00 51:38

1×

No transcript for this episode yet

We transcribe on demand. Request one and we'll notify you when it's ready — usually under 10 minutes.

Share this episode

Similar Episodes

No similar episodes found.

Similar Podcasts

No similar podcasts found.

Frequently Asked Questions

How long is this episode of aboutlogic?

This episode is 51 minutes long.

When was this aboutlogic episode published?

This episode was published on February 11, 2026.

What is this episode about?

Is there a transcript available for this episode?

Yes, a full transcript is available for this episode. You can read the complete transcript on the episode page.

Can I download this aboutlogic episode?

Yes, you can download this episode by clicking the download button on the episode player, or subscribe to the podcast in your preferred podcast app for automatic downloads.

URL copied to clipboard!