Meta math!: the quest for Omega
Gregory J. Chaitin · Choice Reviews Online · 2006
This book presents a personal account of the mathematics and metamathematics of the 20th century leading up to the discovery of the halting probability Omega. The emphasis is on history of ideas and philosophical implications.