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 fithisux on Thursday February 27, 2025 @12:27AM (#43191622)
Still, both should be taught.
[ Parent | on HN ]

There are no comments on this comment yet.