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

In 1931 the mathematical logician Kurt Godel published a revolutionary paper that challenged certain basic assumptions underpinning mathematics and logic. A col

"An introduction to the life and thought of Kurt Gödel, who transformed our conception of math forever"--Provided by publisher.

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

S(zp,zp) performs an innovative analysis of one of modern logic's most celebrated cornerstones: the proof of Gödel's first incompleteness theorem. The book app