Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

https://www.cambridge.org/core/books/abs/algorithmic-informa...

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.





Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: