4 ms·
Not a Turing Machine, but with a Lisp interpreter and few atoms (Lambda Calculus in the end) you can state the peano axioms, then a basic arithmetic calculator,
by anthk 2y ago
Not a Turing Machine, but with a Lisp interpreter and few atoms (Lambda Calculus in the end) you can state the peano axioms, then a basic arithmetic calculator, and after that, a basic algebra solver in minutes.
https://justine.lol/sectorlisp2/ https://justine.lol/sectorlisp2/