Similar Tracks
"Elements of Mathematics" in the Digital Age by Marc Bezem (Universitetet i Bergen, Norway)
FOMUS 2016
Univalent Foundations: New Foundations of Mathematics | Vladimir Voevodsky
Institute for Advanced Study
Does HoTT Provide a Foundation for Mathematics? by James Ladyman (University of Bristol, UK)
FOMUS 2016
Good and Evil in the American Founding with Stephen Sachs
James Madison Program in American Ideals and Institutions
The Borowitz Report: bestselling author Andy Borowitz speaks at Rutgers
Eagleton Institute of Politics
Nonetheless one should learn the language of topos: Grothendieck... - Colin McLarty [2018]
Graduate Mathematics
Liberty in a Cold Climate with Niall Ferguson (2 of 2)
James Madison Program in American Ideals and Institutions
Per Martin Löf: How did 'judgement' come to be a term of logic ?
Logic and Foundations of Mathematics