Algorithmic information theory / Gregory J. Chaitin
Tipo de material:
TextoEditor: Cambridge, UK : Cambridge University Press, 2004Edición: 1st paperback edDescripción: 178 páginasTipo de contenido: texto Tipo de medio: no mediado Tipo de portador: volumenISBN: 0521616042 Tema(s): TEORIA DE MAQUINAS | COMPLEJIDAD COMPUTACIONAL | LISP (Lenguaje de programación)Clasificación CDD: 006.31
Contenidos:
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.
| Tipo de ítem | Biblioteca actual | Colección | número de clasificación | Copia número | Estado | Fecha de vencimiento | Código de barras |
|---|---|---|---|---|---|---|---|
Libro General
|
Biblioteca Central | Colección General | 006.31 C435 (Navegar estantería(Abre debajo)) | 1 | Disponible | 3560900119154 |
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.