A.V. Rodin, "History and Philosophy of Mathematics"

Lecture 14

Europe/Moscow
Description

Univalent Foundations of mathematics and computer-assisted mathematical proofs.

Reading:   (1) D. Grayson, An Introduction to Univalent Foundations for Mathematicians, (2) A. Rodin, Computer-Assisted Proofs and Mathematical Understanding: Univalent Foundations as a Leibnizian Language