Cahit Arf Lecture 2015 by Vladimir Voevodsky

Vladimir Voevodsky

Institute of Advanced Study
http://www.math.ias.edu/~vladimir/Site3/home.html

Univalent Foundations of Mathematics

Date: April 21, 2015
at 15:40
Place:

Cahit Arf Auditorium
Department of Mathematics
Middle East Technical University
Ankara, Turkey

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.