Chaitin, G.