Information-theoretic limitations of formal systems (1974)

by G Chaitin
Venue:J. Assoc. Comput. Mach