Acid Horizon cover image

The Revenge of Reason: Hegel, Kant, and Neo-Rationalism with Pete Wolfendale

Acid Horizon

00:00

From constructive math to type theory

Pete traces constructive mathematics into Curry-Howard, Martin-Löf type theory and homotopy type theory.

Play episode from 28:33
Transcript

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!
App store bannerPlay store banner
Get the app