Metamaths: the quest for omega - Chaitin, Gregory (Atlantic Books, 2005)