Chaitin

The Limits of Mathematics: A course on information theory and the limits of formal reasoning (Discrete Mathematics and Theoretical Computer Science)

By Chaitin, Gregory J.