|
24 Nisan 2015, 10:00 
İstanbul Matematiksel Bilimler Merkezi SeminerleriUnivalent foundations of mathematics Vladimir Voevodsky
Today’s mathematics is using foundations which have been developed in the late 19th-early
20th century. Since these foundations had been completed mathematics has grown
from a field advanced by a few outstanding minds to a large enterprise involving
tens of thousands of mathematicians. On this new scale of existence it is becoming
impossible for mathematics to rely entirely on the old peer-review model of ensuring the
correctness of the results. Univalent Foundations are new foundations of mathematics
invented with the intention of being usable for the development of computer proof
assistants that will facilitate the crafting and verification of complex mathematical
constructions.
NOT: We thank METU and the Cahit Arf Lectures Committee for their cooperation. Matematik İngilizce IMBM Seminar Room, Boğaziçi University, South Campus admin 20.03.2020 |
