Cahit Arf Lecture 2015
Vladimir Voevodsky
Institute of Advanced Studyhttp://www.math.ias.edu/~vladimir/Site3/home.html
Univalent Foundations of Mathematics
Date: | April 21, 2015 at 15:40 |
Place: |
Cahit Arf Auditorium |
Supported by
Abstract
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.