I would also suggest "Advent of an Algorithm" more of a history of mathematics including Godel. http://www.amazon.com/The-Advent-Algorithm-300-Year-Computer/dp

I would also suggest "Advent of an Algorithm" more of a history of mathematics including Godel. http://www.amazon.com/The-Advent-Algorithm-300-Year-Computer/dp/0156013916 http://www.amazon.com/The-Advent-Algorithm-300-Year-Computer...