The limits of mathematics : : a cource on information theory and the limits of formal reasoning - Chaitin, Gregory J. (Springer, 1998)