Information-theoretic Limitations of Formal Systems (1974)
Cached
Download Links
- [www.umcs.maine.edu]
- [www.cs.auckland.ac.nz]
- [www.umcs.maine.edu]
- [www.cs.auckland.ac.nz]
- [www.cs.auckland.ac.nz]
- DBLP
Other Repositories/Bibliography
| Venue: | JOURNAL OF THE ACM |
| Citations: | 50 - 7 self |
BibTeX
@ARTICLE{Chaitin74information-theoreticlimitations,
author = {Gregory J. Chaitin},
title = {Information-theoretic Limitations of Formal Systems},
journal = {JOURNAL OF THE ACM},
year = {1974},
volume = {21},
pages = {403--424}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
An attempt is made to apply information-theoretic computational complexity to metamathematics. The paper studies the number of bits of instructions that must be a given to a computer for it to perform finite and infinite tasks, and also the amount of time that it takes the computer to perform these tasks. This is applied to measuring the di#culty of proving a given set of theorems, in terms of the number of bits of axioms that are assumed, and the size of the proofs needed to deduce the theorems from the axioms.
