Items
Details
Table of Contents
Formalisms for computation
The arithmetic of register machines
A version of pure LISP
The LISP interpreter EVAL
Conceptual development
Program size
Randomness
Incompleteness.
The arithmetic of register machines
A version of pure LISP
The LISP interpreter EVAL
Conceptual development
Program size
Randomness
Incompleteness.