News for hackers. Stuff that matters.

A comment on Should Type Theory (HoTT) Replace (ZFC) Set Theory as the Foundation of Math?.

Re:Should Type Theory (HoTT) Replace (ZFC) Set Theory as the... by westurner on Thursday February 27, 2025 @11:37PM (#43201742)
"Should Type Theory Replace Set Theory as the Foundation of Mathematics?" (2023) https://link.springer.com/article/10.1007/s10516-023-09676-0
[ Parent | on HN ]

There are no comments on this comment yet.