Meta Math! The Quest for Omega
by Gregory Chaitin