Machine Logic
At the junction of computation, logic and mathematics
Tag: Alan Turing
On Turing machines
(06 Jul 2022)
Fun with Ackermann's function
(09 Feb 2022)