Media Summary: In this series we develop an understanding of the modern Talk by Kobe Wullaert (TU Delft), at the Antwerp Algebra Colloquium on March 11, 2022. In 1874, (naive/Cantorian) set Speaker: Emily Riehl, Johns Hopkins University Date: October 18th, 2022 Abstract: ...
Foundations 6 Simple Type Theory - Detailed Analysis & Overview
In this series we develop an understanding of the modern Talk by Kobe Wullaert (TU Delft), at the Antwerp Algebra Colloquium on March 11, 2022. In 1874, (naive/Cantorian) set Speaker: Emily Riehl, Johns Hopkins University Date: October 18th, 2022 Abstract: ... Talk at: FOMUS 2016. For all Talks and more information, slides etc. see: Naïve A wide variety of mathematical topics have been formalised in Week 1 (June 16-20th) is devoted to training PhD students and postdocs on formalization via three courses teaching mathematics ...
