Information-Theoretic Limitations of Formal Systems

  title={Information-Theoretic Limitations of Formal Systems},
  author={Gregory J. Chaitin},
  journal={J. ACM},
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.


Publications citing this paper.
Showing 1-10 of 79 extracted citations

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.

Similar Papers

Loading similar papers…