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.
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.
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.
EUR 3,44 per la spedizione in U.S.A.
Destinazione, tempi e costiGRATIS per la spedizione in U.S.A.
Destinazione, tempi e costiDa: 2nd Life Books, Burlington, NJ, U.S.A.
Condizione: good. Used book in good condition. May have some wear to binding, spine, cover, and pages. Some light highlighting markings writing may be present. May have some stickers and or sticker residue present. May be Ex-lib. copy. May NOT include discs, or access code or other supplemental material. We ship Monday-Saturday and respond to inquiries within 24 hours. Codice articolo BXM.96P5
Quantità: 1 disponibili
Da: WeBuyBooks, Rossendale, LANCS, Regno Unito
Condizione: Good. Most items will be dispatched the same or the next working day. A copy that has been read but remains in clean condition. All of the pages are intact and the cover is intact and the spine may show signs of wear. The book may have minor markings which are not specifically mentioned. Codice articolo wbs8175458634
Quantità: 1 disponibili
Da: Better World Books Ltd, Dunfermline, Regno Unito
Condizione: Very Good. Ships from the UK. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects. Codice articolo 15720511-20
Quantità: 1 disponibili
Da: Greener Books, London, Regno Unito
Hardcover. Condizione: Used; Very Good. **SHIPPED FROM UK** We believe you will be completely satisfied with our quick and reliable service. All orders are dispatched as swiftly as possible! Buy with confidence! Greener Books. Codice articolo 4878486
Quantità: 1 disponibili
Da: Orrin Schwab Books, Providence, UT, U.S.A.
Hardcover. Condizione: Very Good-. Light wear and rubbing to the spine edges and corners.; Cambridge Tracts In Theoretical Computer Science, Series Number 1; 7.25 X 0.75 X 10 inches; 192 pages. Codice articolo 51364
Quantità: 1 disponibili
Da: The Book Spot, Sioux Falls, MN, U.S.A.
Hardcover. Condizione: New. Codice articolo Abebooks140169
Quantità: 1 disponibili
Da: Toscana Books, AUSTIN, TX, U.S.A.
Hardcover. Condizione: new. Excellent Condition.Excels in customer satisfaction, prompt replies, and quality checks. Codice articolo Scanned0521343062
Quantità: 1 disponibili