Algorithmic Information Theory
Book Details:
| Publisher: | Cambridge University Press |
| Series: | Cambridge University |
| Author: | Gregory J. Chaitin |
| Edition: | 1 |
| ISBN-10: | 0521616042 |
| ISBN-13: | 9780521616041 |
| Pages: | 192 |
| Published: | Dec 02 2004 |
| Posted: | Nov 19 2014 |
| Language: | English |
| Book format: | |
| Book size: | 0.91 MB |
Book Description:
Chaitin, the inventor of algorithmic information theory, presents in this book the strongest possible version of Gdel's incompleteness theorem, using an information theoretic approach based on the size of computer programs. One half of the book is concerned with studying the halting probability of a universal computer if its program is chosen by tossing a coin. The other half is concerned with encoding the halting probability as an algebraic equation in integers, a so-called exponential diophantine equation.
Book categories:
Programming , Science & Mathematics , Languages & Tools , Programming Languages , Software Design, Testing & Engineering , Mathematics , Algorithms , Software DevelopmentDownload Link:
Related Books:
Information, Randomness and Incompleteness
Papers on Algorithmic Information Theory
2nd Edition
God not only plays dice in quantum mechanics, but even with the whole numbers! The discovery of randomness in arithmetic is presented in my book Algorithmic Information Theory published by Cambridge University Press. There I show that to decide if an algebraic equation in integers has finitely or infinitely many solutions is in some cases absolutely intractable. I exhibit an infinite series of such arithmetical assertions that are random arithmetical facts, and for which it is essentially the case that the only way to prove them is to assume them as axioms. This extreme form of Gdel incompleteness theorem shows that some arithmetical truths are totally...
Algorithmic Game Theory
In the last few years game theory has had a substantial impact on computer science, especially on Internet- and e-commerce-related issues. More than 40 of the top researchers in this field have written chapters that go from the foundations to the state of the art. Basic chapters on algorithmic methods for equilibria, mechanism design and combinatorial auctions are followed by chapters on incentives and pricing, cost sharing, information markets and cryptography and security. Students, researchers and practitioners alike need to learn more about these fascinating theoretical developments and their widespread practical application....
Uncertainty and Information
Foundations of Generalized Information Theory
Deal with information and uncertainty properly and efficiently using tools emerging from generalized information theoryUncertainty and Information: Foundations of Generalized Information Theory contains comprehensive and up-to-date coverage of results that have emerged from a research program begun by the author in the early 1990s under the name "generalized information theory" (GIT). This ongoing research program aims to develop a formal mathematical treatment of the interrelated concepts of uncertainty and information in all their varieties. In GIT, as in classical information theory, uncertainty (predictive, retrodictive, diagnostic, prescriptive, and the like) is viewed as a manifestation of information deficiency, while information is ...
2007 - 2021 © eBooks-IT.org