The Development of Constructive Mathematics thumbnail
Pause
Mute
Subtitles
Playback speed
0.25
0.5
0.75
1
1.25
1.5
1.75
2
Full screen

The Development of Constructive Mathematics

Published on May 20, 20113803 Views

Related categories

Chapter list

Formalization of constructive mathematics00:00
Formalization of Constructive Mathematics - 200:07
Part I: Constructive homological algebra00:57
Constructive homological algebra03:25
Constructive Finite Free Resolution05:09
Hilbert-Burch Theorem05:47
Part II: Propositions-as-Types09:50
Propositions-as-Types12:07
Equality Proofs as Paths14:19
The Path Space is contractible - 116:14
The Path Space is contractible - 217:50
Voevodsky Strati cation19:49
Set theory/type theory - 122:34
Set theory/type theory - 223:42
Voevodsky Univalence Axiom24:20