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