The limits of mathematics : course on information theory and the limits of formal reasoning - Chaitin, Gregory J., 1947- (Springer, 1991)