Information-Theoretic Limitations of Formal Systems (1974)

by Gregory Chaitin
Venue:Journal of the ACM