65 points | by pabs3 15 hours ago
2 comments
I - Formalisms for Computation: Register Machines, Exponential Diophantine Equations, & Pure LISP
Gregory. J. Chaitin
> And in Chapter 4 we present a register machine interpreter for this LISP, and then compile it into a diophantine equation.
A Lisp interpreter implemented in Conway's Game of Life (2021) - https://news.ycombinator.com/item?id=34266240 - Jan 2023 (25 comments)
A Lisp Interpreter Implemented in Conway's Game of Life - https://news.ycombinator.com/item?id=29661616 - Dec 2021 (85 comments)
I - Formalisms for Computation: Register Machines, Exponential Diophantine Equations, & Pure LISP
Gregory. J. Chaitin
> And in Chapter 4 we present a register machine interpreter for this LISP, and then compile it into a diophantine equation.
A Lisp interpreter implemented in Conway's Game of Life (2021) - https://news.ycombinator.com/item?id=34266240 - Jan 2023 (25 comments)
A Lisp Interpreter Implemented in Conway's Game of Life - https://news.ycombinator.com/item?id=29661616 - Dec 2021 (85 comments)