Machine Logic
At the junction of computation, logic and mathematics
Tag: Ernst Zermelo
Is Zermelo-Fraenkel set theory the foundation of mathematics?
(26 Jan 2022)
The axiom of choice and descriptions
(10 Nov 2021)
On logical formalisms
(27 Oct 2021)