Tag: Principia Mathematica
- Russell's Paradox: myth and fact (31 Jan 2024)
- What do we mean by "the foundations of mathematics"? (01 Nov 2023)
- The ALEXANDRIA Project: what has been accomplished? (27 Apr 2023)
- Memories: artificial intelligence at Stanford in the 70s (11 Jan 2023)
- Types versus sets (and what about categories?) (16 Mar 2022)
- On logical formalisms (27 Oct 2021)