Special Session
Should Type Theory replace Set Theory as the Foundation of Mathematics?
Online
Set theory in the form of Zermelo-Fraenkel’s axiomatic set theory is usually considered the standard foundation of Mathematics. Type Theory which is based on the static notion of types is an alternative offers many advantages: the notion of a type seems to be closer to mathematical practice, types hides implementation details which enables Voevodky’s univalence principle, and it is supported by a number of implementations providing the base for formal developments.
This document was translated from LATEX by HEVEA.