In what respect are univalent foundations "better" than set theory? – mathoverflow.net

In what respect are univalent foundations "better" than set theory? – mathoverflow.net

13:10 No Comments
It was an ambitious project of Vladimir Voevodsky's to provide new foundations for mathematics with univalent foundations (UF) to eventually replace set theory (ST). Part of what makes ST so ...

from Hot Questions - Stack Exchange OnStackOverflow
via Blogspot

Share this

Unknown

0 Comment to "In what respect are univalent foundations "better" than set theory? – mathoverflow.net"

Post a Comment

Subscribe to: Post Comments (Atom)