Information-theoretic limitations of formal systems (1974)

by Gregory J Chaitin
Venue:Journal of the ACM