In 1931 Kurt Godel published his paper, On Formally Undecidable Propositions of Principia Mathematica and Related Systems. This paper challenged certain basic assumptions underlying much research in mathematics and logic. This title offers an explanation of the main ideas and broad implications of Godel's discovery.
A combination of science and accessibility, this book is for both mathematicians and the idly curious, offering those with a taste for logic and philosophy the chance to satisfy their intellectual curiosity. It presents a readable explanation to both scholars and non-specialists alike.