Meta Math! by Gregory Chaitin