|Tuesday 20 February 2018|
|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
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)
WEP and LLP (III) ...
16:00 - 17:00 Mathematics Colloquium
A Modern Crisis in the Foundations of 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, ...