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.

Episode metadata supplied by the publisher feed · Published Feb 11, 2026

Embed this episode

Attribution link and audio player

NOW PLAYING

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

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.

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. Use the download control on the episode player to save the publisher-provided media file.

URL copied to clipboard!