Algorithmic Information Theory - Brossura

Chaitin, Gregory. J.

 
9780521616041: Algorithmic Information Theory

Sinossi

Expounds Gödel's incompleteness theorey using an information theoretic approach based on the size of computer programs.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Descrizione del libro

Chaitin, the inventor of algorithmic information theory, presents in this book the strongest possible version of Gödel's incompleteness theorem, using an information theoretic approach based on the size of computer programs.

Contenuti

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.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Altre edizioni note dello stesso titolo

9780521343060: Algorithmic Information Theory

Edizione in evidenza

ISBN 10:  0521343062 ISBN 13:  9780521343060
Casa editrice: Cambridge University Press, 1987
Rilegato