Machine Logic
At the junction of computation, logic and mathematics
Tag: Bertrand Russell
Contradictions and the Principle of Explosion
(14 Feb 2024)
Russell's Paradox: myth and fact
(31 Jan 2024)
Why are you being constructive?
(20 Apr 2022)
On logical formalisms
(27 Oct 2021)