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