Information-theoretic Limitations of Formal Systems (1974)

by Gregory J. Chaitin
Venue:JOURNAL OF THE ACM