IPM Calendar 
Tuesday 20 February 2018   Today  
Events for day: Wednesday 27 December 2017    
           14:00 - 15:00     Weekly Seminar on Combinatorics and Computing
Maximal chains and antichains: from Boolean lattices to linear ones

School
MATHEMATICS

Maximal chains and antichains: from Boolean lattices to linear ones ...

           14:00 - 17:00     Weekly Seminar on Operator Algebra and its Applications (OAA)
WEP and LLP (III)

School
MATHEMATICS

WEP and LLP (III) ...

           16:00 - 17:00     Mathematics Colloquium
A Modern Crisis in the Foundations of Mathematics

School
MATHEMATICS

Set theory has long been taken as the foundations of all of mathematics, or at least a large part of it, happily coexisting with the categorical view, for example. Since 2006 there has been an emergence of a new candidate for foundations of mathematics, the univalent foundations, whose more vocal proponents feel that mathematics of the future will be done exclusively by proof assistants and the associated computer libraries.

We discuss the connections and differences between the ZFC set theory and univalent foundations and show that the univalent foundations and set theory address two different sets of questions in mathematics, ...