Book contents
I - Formalisms for Computation: Register Machines, Exponential Diophantine Equations, & Pure LISP
Published online by Cambridge University Press: 23 November 2009
Summary
In Part I of this monograph, we do the bulk of the preparatory work that enables us in Part II to exhibit an exponential diophantine equation that encodes the successive bits of the halting probability Ω.
In Chapter 2 we present a method for compiling register machine programs into exponential diophantine equations. In Chapter 3 we present a stripped-down version of pure LISP. And in Chapter 4 we present a register machine interpreter for this LISP, and then compile it into a diophantine equation. The resulting equation, which unfortunately is too large to exhibit here in its entirety, has a solution, and only one, if the binary representation of a LISP expression that halts, i.e., that has a value, is substituted for a distinguished variable in it. It has no solution if the number substituted is the binary representation of a LISP expression without a value.
Having dealt with programming issues, we can then proceed in Part II to theoretical matters.
- Type
- Chapter
- Information
- Algorithmic Information Theory , pp. 6Publisher: Cambridge University PressPrint publication year: 1987