for gregory chaitin