undefined | Better HN

0 pointscjfd1y ago0 comments

Well, it depends. Have you ever considered writing a word processor in a Turing machine?

0 comments

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/

j / k navigate · click thread line to collapse

0 pointscjfd1y ago0 comments

Well, it depends. Have you ever considered writing a word processor in a Turing machine?

0 comments

anthk1y 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/

j / k navigate · click thread line to collapse