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.
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.