Dekorationsartikel gehören nicht zum Leistungsumfang.
Sprache:
Englisch
72,10 €
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: | Importe, Informatik |
| Rubrik: | Naturwissenschaften & Technik |
| Medium: | Taschenbuch |
| Inhalt: | Kartoniert / Broschiert |
| ISBN-13: | 9780521616041 |
| ISBN-10: | 0521616042 |
| Sprache: | Englisch |
| Einband: | Kartoniert / Broschiert |
| Autor: | Chaitin, Gregory J. |
| Redaktion: |
Rijsbergen, C. J. van
Abramsky, Samson |
| Hersteller: | Cambridge University Press |
| Verantwortliche Person für die EU: | Libri GmbH, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de |
| Maße: | 246 x 189 x 11 mm |
| Von/Mit: | Gregory J. Chaitin |
| Erscheinungsdatum: | 20.10.2004 |
| Gewicht: | 0,383 kg |