58:30What if Current Foundations of Mathematics are Inconsistent? | Vladimir VoevodskyInstitute for Advanced StudyRecommended by 3 • 14 years ago
50:13Univalent Foundations: New Foundations of Mathematics - Vladimir VoevodskyInstitute for Advanced StudyRecommended by 1 • 10 years ago
57:32Five Stages of Accepting Constructive Mathematics - Andrej BauerInstitute for Advanced StudyRecommended by 1 • 10 years ago
