See GregoryChaitin's book TheLimitsOfMathematics.