Machine Logic

At the junction of computation, logic and mathematics

Tag: Alan Turing

Introduction to the λ-calculus (30 Sep 2024)
On Turing machines (06 Jul 2022)
Fun with Ackermann's function (09 Feb 2022)

Machine Logic is maintained by Lawrence C Paulson.

subscribe via RSS