. . "Chaitin" . "J." . "G." . "G. J. Chaitin" . .