Univalent Foundations: New Foundations of Mathematics

Name: Univalent Foundations: New Foundations of Mathematics
Uploaded: 2014-08-25T20:59:40.000Z
Duration: 50 min 13 s
Channel: Vladimir Voevodsky
Description: Vladimir Voevodsky introduces Univalent Foundations, a revolutionary approach to mathematics that leverages computer assistance for rigorous verification, bridging logic and computation.

Vladimir Voevodsky

Browse

Institute for Advanced Study·Vladimir Voevodsky

50:13

0:00/50:13

Notebook

Press N to jot a timestamped note or B to pin a moment while watching.

Open in Study Notebook →

Univalent Foundations: New Foundations of Mathematics

Vladimir Voevodsky Institute for Advanced Study

50:13·2014·research level·Research Seminar

YouTube

Vladimir Voevodsky introduces Univalent Foundations, a revolutionary approach to mathematics that leverages computer assistance for rigorous verification, bridging logic and computation.

Univalent Foundations: New Foundations of Mathematics

Mathematics Theory & Algos Category Theory, Topos Theory & Set Foundations Formal Methods & Type Theory Set Theory, Forcing, Large Cardinals & Incompleteness Set Theory & Proof Techniques Type Theory & Lambda Calculus Formal Verification & Logic

About the lecturer

Speaker directory →

Vladimir Voevodsky

Fields Medal · Institute for Advanced Study

Vladimir Voevodsky was a professor at the Institute for Advanced Study, a Fields Medalist renowned for his groundbreaking work in algebraic geometry and homotopy theory.

2 lectures in archiveView profile