The limits of mathematics : a course on information theory and the limits of formal reasoning - Chaitin, Gregory J. (New York : Springer-Verlag, 1997)