Dekorationsartikel gehören nicht zum Leistungsumfang.
Sprache:
Englisch
72,75 €*
Versandkostenfrei per Post / DHL
Lieferzeit 1-2 Wochen
Kategorien:
Beschreibung
Expounds G del's incompleteness theorey using an information theoretic approach based on the size of computer programs.
Expounds G del's incompleteness theorey using an information theoretic approach based on the size of computer programs.
Inhaltsverzeichnis
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.
Details
Erscheinungsjahr: | 2004 |
---|---|
Genre: | Informatik |
Rubrik: | Naturwissenschaften & Technik |
Medium: | Taschenbuch |
ISBN-13: | 9780521616041 |
ISBN-10: | 0521616042 |
Sprache: | Englisch |
Ausstattung / Beilage: | Paperback |
Einband: | Kartoniert / Broschiert |
Autor: | Chaitin, Gregory J. |
Redaktion: | Rijsbergen, C. J. van |
Hersteller: | Cambridge University Press |
Maße: | 246 x 189 x 11 mm |
Von/Mit: | Gregory J. Chaitin |
Erscheinungsdatum: | 20.10.2004 |
Gewicht: | 0,383 kg |
Inhaltsverzeichnis
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.
Details
Erscheinungsjahr: | 2004 |
---|---|
Genre: | Informatik |
Rubrik: | Naturwissenschaften & Technik |
Medium: | Taschenbuch |
ISBN-13: | 9780521616041 |
ISBN-10: | 0521616042 |
Sprache: | Englisch |
Ausstattung / Beilage: | Paperback |
Einband: | Kartoniert / Broschiert |
Autor: | Chaitin, Gregory J. |
Redaktion: | Rijsbergen, C. J. van |
Hersteller: | Cambridge University Press |
Maße: | 246 x 189 x 11 mm |
Von/Mit: | Gregory J. Chaitin |
Erscheinungsdatum: | 20.10.2004 |
Gewicht: | 0,383 kg |
Warnhinweis