aboutlogic
Avsnitt

aboutlogic #24 | Why Didn't Homotopy Type Theory Take Over the World? | Ulrik Buchholtz

aboutlogic
Dela

Why Didn't Homotopy Type Theory Take Over the World? | aboutlogic #25 From ordinal analysis to homotopy type theory: Ulrik Buchholtz (University of Nottingham) talks with Deniz and Thorsten about his journey from algebraic topology to Sol Feferman's unfolding program and from there into univalent foundations. Why do ordinals measure the strength of mathematical theories? What makes a definition predicative? And what is the one open problem that keeps homotopy type theory from taking over mathematics?

Rss Apple Podcaster
Podden och tillhörande omslagsbild på den här sidan tillhör Deniz Sarikaya, Thorsten Altenkirch. Innehållet i podden är skapat av Deniz Sarikaya, Thorsten Altenkirch och inte av, eller tillsammans med, Poddtoppen.