Highly Influenced

# Information-Theoretic Limitations of Formal Systems

@article{Chaitin1974InformationTheoreticLO, title={Information-Theoretic Limitations of Formal Systems}, author={Gregory J. Chaitin}, journal={J. ACM}, year={1974}, volume={21}, pages={403-424} }

- Published 1974 in J. ACM
DOI:10.1145/321832.321839

An attempt is made to apply information-theoretic computational complexity to meta-mathematics. The paper studies the number of bits of instructions that must be given to a computer for it to perform finite and infinite tasks, and also the time it takes the computer to perform these tasks. This is applied to measuring the difficulty 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â€¦Â CONTINUE READING

Highly Cited

This paper has 123 citations. REVIEW CITATIONS

#### From This Paper

##### Topics from this paper.

#### Citations

##### Publications citing this paper.

#### Citation Statistics

#### 124 Citations

Citations per Year

Semantic Scholar estimates that this publication has

**124**citations based on the available data.See our **FAQ** for additional information.