Tag: type theory
- What do we mean by "the foundations of mathematics"? (01 Nov 2023)
- What is the point of formalising mathematics? (22 Jun 2022)
- Equivalence classes and quotienting (30 Mar 2022)
- Types versus sets (and what about categories?) (16 Mar 2022)
- Is Zermelo-Fraenkel set theory the foundation of mathematics? (26 Jan 2022)
- Undefined values, or what do we get when we divide by zero? (01 Dec 2021)