57:35Borel Determinacy and Infinite Graphs by Nathan Bowler (Universität Hamburg, Germany)
Advanced
A 58-minute video from FOMUS 2016: “Borel Determinacy and Infinite Graphs by Nathan Bowler (Universität Hamburg, Germany)”.
FOMUS 2016
698 subscribers on YouTube
Shorts, livestreams, trailers and promos are never listed. Unless a curator approved this channel in full, only individually picked videos appear.
57:35
1:10:23Does HoTT Provide a Foundation for Mathematics? by James Ladyman (University of Bristol, UK)
Advanced
A 70-minute video from FOMUS 2016: “Does HoTT Provide a Foundation for Mathematics? by James Ladyman (University of Bristol, UK)”.
1:35:31Isomorphic Types are Equal!? by Thomas Streicher (Technische Universität Darmstadt, Germany)
A 96-minute video from FOMUS 2016: “Isomorphic Types are Equal!? by Thomas Streicher (Technische Universität Darmstadt, Germany)”.
1:00:51Modern Physics Formalized in Modal Homotopy Type Theory by Urs Schreiber
Advanced
A 61-minute video from FOMUS 2016: “Modern Physics Formalized in Modal Homotopy Type Theory by Urs Schreiber”.
1:33:26Multiple Concepts of Equality in the New Foundations of Mathematics by Vladimir Voevodsky
Advanced
A 93-minute video from FOMUS 2016: “Multiple Concepts of Equality in the New Foundations of Mathematics by Vladimir Voevodsky”.
1:40:11Multiversism and Naturalism by Claudio Ternullo (University of Vienna, Austria)
Advanced
A 100-minute video from FOMUS 2016: “Multiversism and Naturalism by Claudio Ternullo (University of Vienna, Austria)”.
1:30:37Naïve Type Theory by Thorsten Altenkirch (University of Nottingham, UK)
Advanced
A 91-minute video from FOMUS 2016: “Naïve Type Theory by Thorsten Altenkirch (University of Nottingham, UK)”.
51:07On Proofs of Equality as Paths by Andrew Pitts (University of Cambridge, UK)
Advanced
A 51-minute video from FOMUS 2016: “On Proofs of Equality as Paths by Andrew Pitts (University of Cambridge, UK)”.
1:07:15Proofs and Objects in HoTT by Andrei Rodin (Saint Petersburg State University, Russia)
Advanced
A 67-minute video from FOMUS 2016: “Proofs and Objects in HoTT by Andrei Rodin (Saint Petersburg State University, Russia)”.
1:02:58Proving Theorems from Reflection by Philip Welch (University of Bristol, UK)
Advanced
A 63-minute video from FOMUS 2016: “Proving Theorems from Reflection by Philip Welch (University of Bristol, UK)”.
1:03:12Sets in Homotopy Type Theory by Bas Spitters (Aarhus University, Denmark)
Advanced
A 63-minute video from FOMUS 2016: “Sets in Homotopy Type Theory by Bas Spitters (Aarhus University, Denmark)”.
1:35:15Structuring Mathematics in Higher-Order Logic by Clemens Ballarin (aicas GmbH Karlsruhe, Germany)
A 95-minute video from FOMUS 2016: “Structuring Mathematics in Higher-Order Logic by Clemens Ballarin (aicas GmbH Karlsruhe, Germany)”.
54:01Formalising a FOL Set Theory in Isabelle in a Textbook Fashion by I. Dimitriou (University of Bonn)
Advanced
A 54-minute video from FOMUS 2016: “Formalising a FOL Set Theory in Isabelle in a Textbook Fashion by I. Dimitriou (University of Bonn)”.
1:03:37Proof Theory of Homotopy Type Theories by Ulrik Buchholtz (Carnegie Mellon University, USA)
A 64-minute video from FOMUS 2016: “Proof Theory of Homotopy Type Theories by Ulrik Buchholtz (Carnegie Mellon University, USA)”.
1:22:06Univalent Foundations and the Equivalence Principle by Benedikt Ahrens (INRIA Nantes, France)
Advanced
A 82-minute video from FOMUS 2016: “Univalent Foundations and the Equivalence Principle by Benedikt Ahrens (INRIA Nantes, France)”.