Re: [math-fun] Chaitin's "Meta Math!"