|
|
|
|
|
|
by anthk
608 days 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/ |
|
|