Information-Theoretic Limitations of Formal Systems (1974)

by G J Chaitin
Venue:Journal of the Association for Computing Machinery (ACM