Algorithmic Information Theory Third Printing

By Chaitin, G. J.

Book Id: WPLBN0000659375
Format Type: PDF eBook:
File Size: 0.9 MB
Reproduction Date: 2005

Title:	Algorithmic Information Theory Third Printing
Author:	Chaitin, G. J.
Volume:
Language:	English
Subject:	Science., Mathematics, Logic
Collections:
Historic Publication Date:
Publisher:


Citation APA MLA Chicago J. Chaiti, B. G. (n.d.). Algorithmic Information Theory Third Printing. Retrieved from http://gutenberg.us/

Description
Mathematics document containing theorems and formulas.

Excerpt
Excerpt: The LISP Interpreter EVAL; Register Machine Pseudo-Instructions; EVAL in Register Machine Language; The Arithmetization of EVAL; Start of Left-Hand Side; End of Right-Hand Side.

Table of Contents
Contents 1 Introduction 13 I Formalisms for Computation: Register Ma- chines, Exponential Diophantine Equations, & Pure LISP 19 2 Register Machines 23 2.1 Introduction : : : : : : : : : : : : : : : : : : : : : : : : : 23 2.2 Pascal's Triangle Mod 2 : : : : : : : : : : : : : : : : : : 26 2.3 LISP Register Machines : : : : : : : : : : : : : : : : : : 30 2.4 Variables Used in Arithmetization : : : : : : : : : : : : : 45 2.5 An Example of Arithmetization : : : : : : : : : : : : : : 49 2.6 A Complete Example of Arithmetization : : : : : : : : : 58 2.7 Expansion of )'s : : : : : : : : : : : : : : : : : : : : : : 63 2.8 Left-Hand Side : : : : : : : : : : : : : : : : : : : : : : : 71 2.9 Right-Hand Side : : : : : : : : : : : : : : : : : : : : : : 75 3 A Version of Pure LISP 79 3.1 Introduction : : : : : : : : : : : : : : : : : : : : : : : : : 79 3.2 De nition of LISP : : : : : : : : : : : : : : : : : : : : : : 81 3.3 Examples : : : : : : : : : : : : : : : : : : : : : : : : : : 89 3.4 LISP in LISP I : : : : : : : : : : : : : : : : : : : : : : : 93 3.5 LISP in LISP II : : : : : : : : : : : : : : : : : : : : : : : 94 3.6 LISP in LISP III : : : : : : : : : : : : : : : : : : : : : : 98