Algorithmic information theory /
Chaitin, Gregory J.
Algorithmic information theory / Gregory J. Chaitin - 1st paperback ed. - 178 páginas
Foreword; Preface; Figures; 1. Introduction; Part I. Formalisms for Computation: Register Machines, Exponential Diophantine Equations, and Pure LISP: 2. The arithmetization of register machines; 3. A version of Pure LISP; 4. The LISP interpreter EVAL; Part II. Program Size, Halting Probabilities, Randomness, and Metamathematics: 5. Conceptual development; 6. Program size; 7. Randomness; 8. Incompleteness; 9. Conclusion; Bibliography.
0521616042
TEORIA DE MAQUINAS
COMPLEJIDAD COMPUTACIONAL
LISP (Lenguaje de programación)
006.31 / C435
Algorithmic information theory / Gregory J. Chaitin - 1st paperback ed. - 178 páginas
Foreword; Preface; Figures; 1. Introduction; Part I. Formalisms for Computation: Register Machines, Exponential Diophantine Equations, and Pure LISP: 2. The arithmetization of register machines; 3. A version of Pure LISP; 4. The LISP interpreter EVAL; Part II. Program Size, Halting Probabilities, Randomness, and Metamathematics: 5. Conceptual development; 6. Program size; 7. Randomness; 8. Incompleteness; 9. Conclusion; Bibliography.
0521616042
TEORIA DE MAQUINAS
COMPLEJIDAD COMPUTACIONAL
LISP (Lenguaje de programación)
006.31 / C435