The limits of mathematics : - Chaitin, Gregory J. (Springer series in discrete mathematics and theoretical computer science, 1998)