Machine Logic
At the junction of computation, logic and mathematics
Tag: AI
The Dottie Number
(26 Jun 2026)
Everything you know is wrong
(20 Sep 2025)
Finish your degree!
(02 Jul 2025)
Contradictions and the Principle of Explosion
(14 Feb 2024)
Memories: artificial intelligence at Stanford in the 70s
(11 Jan 2023)