Y
Hacker News
new
|
ask
|
show
|
jobs
by
cjfd
608 days ago
Well, it depends. Have you ever considered writing a word processor in a Turing machine?
1 comments
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/
link
https://justine.lol/sectorlisp2/