"A gem…An unforgettable account of one of the great moments in the history of human thought." —Steven Pinker Probing the life and work of Kurt Gödel, Incom
Considered the 20th century's greatest mathematician, Kurt Godel is the subject of this lucid and accessible study, which explains the significance of his theor
This introduction to mathematical logic takes Gödel's incompleteness theorem as a starting point. It goes beyond a standard text book and should interest every
Kurt Godel, the greatest logician of our time, startled the world of mathematics in 1931 with his Theorem of Undecidability, which showed that some statements i