World Scientific Series in Computer Science - Vol. 35
INFORMATION-THEORETIC INCOMPLETENESS
by G J Chaitin (IBM Thomas J Watson Research Center, New York)
In this mathematical autobiography, Gregory Chaitin presents a technical survey of his work and a nontechnical discussion of its significance. The volume is an essential companion to the earlier collection of Chaitin's papers Information, Randomness and Incompleteness, also published by World Scientific.
The technical survey contains many new results, including a detailed discussion of LISP program size and new versions of Chaitin's most fundamental information-theoretic incompleteness theorems. The nontechnical part includes the lecture given by Chaitin in Gödel's classroom at the University of Vienna, a transcript of a BBC TV interview, and articles from New Scientist, La Recherche, and the Mathematical Intelligencer.
Contents:
- Technical Survey:
- Turing Machines
- Blank-Endmarker
Programs
- LISP Program-Size Complexity
- Non-Technical Discussions:
- A Random Walk in Arithmetic
- Number and Randomness
- Randomness in Arithmetic
- The Challenge for the Future:
- Complexity and Biology
- Bibliography
- and other papers
Readership: Computer scientists, mathematicians, physicists, philosophers and
biologists.
"Chaitin has produced very deep results, with tremendous impact on mathematics, computer technology and philosopy (and, in particular, on GIT). His new book is another piece of jewellery in his (already) large gallery."
Cristian Calude Bulletin (EATCS) |
"The book under review is an extraordinary mathematical monograph."
M I Dekhtyar Mathematical Reviews |
"... the reviewer found the book most stimulating and highly recommends it."
A A Mullin Mathematics Abstracts |
| 240pp |
Pub. date: Aug 1992 |
|
* Special price applies only to individuals purchasing online and cannot be used in conjunction with any other offers.
|
|