| |
| | Chaitin, Algorithmic Information Theory (Site not responding. Last check: 2007-11-07) |
 | | 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. |
 | | This is the first book on this subject and will be of interest to computer scientists, mathematicians, physicists and philosophers interested in the nature of randomness and in the limitations of the axiomatic method. |
 | | His exciting discoveries and speculations invade such areas as logic, induction, simplicity, the philosophy of mathematics and science, randomness, proof theory, chaos, information theory, computer complexity, diophantine analysis, and even the origin and evolution of life. |
| www.umcs.maine.edu /~chaitin/cup.html (346 words) |
|