First English translation of revolutionary paper (1931) that established that even in elementary parts of arithmetic, there are propositions which cannot be pro

In 1931, a young Austrian mathematician published an epoch-making paper containing one of the most revolutionary ideas in logic since Aristotle. Kurt Giidel mai

The first book to present a readable explanation of Godel's theorem to both scholars and non-specialists, this is a gripping combination of science and accessib

Peter Smith examines Gödel's Theorems, how they were established and why they matter.