# The Leading eBooks Store Online

## for Kindle Fire, Apple, Android, Nook, Kobo, PC, Mac, BlackBerry...

#### Godel's Incompleteness Theorems

Oxford University Press 1992; US$ 224.99An introduction to the work of the mathematical logician Kurt Godel, which guides the reader through his Theorem of Undecidability and his theories on the completeness of logic, the incompleteness of numbers and the consistency of the axiom of choice. more...

#### Godel's Proof

Taylor and Francis 2012; US$ 20.95'Nagel and Newman accomplish the wondrous task of clarifying the argumentative outline of Kurt Godel's celebrated logic bomb.' ? The Guardian In 1931 the mathematical logician Kurt Godel published a revolutionary paper that challenged certain basic assumptions underpinning mathematics and logic. A colleague of physicist Albert Einstein, his... more...

#### Godel's Theorem in Focus

Taylor and Francis 2012; US$ 46.95A layman's guide to the mechanics of Gödel's proof together with a lucid discussion of the issues which it raises. Includes an essay discussing the significance of Gödel's work in the light of Wittgenstein's criticisms. more...

#### Goedel's Way

CRC Press 2011; US$ 45.95Kurt Gödel (1906-1978) was an Austrian-American mathematician, who is best known for his incompleteness theorems. He was the greatest mathematical logician of the 20th century, with his contributions extending to Einstein?s general relativity, as he proved that Einstein?s theory allows for time machines. The Gödel incompleteness theorem - the usual... more...

#### An Introduction to Gödel's Theorems

Cambridge University Press 2007; US$ 28.00Peter Smith examines Gödel's Theorems, how they were established and why they matter. more...

#### Kurt Gödel

Vieweg+Teubner Verlag 2007; US$ 39.95Time Magazine reihte ihn unter die hundert wichtigsten Personen des zwanzigsten Jahrhunderts. Die Harvard University verlieh ihm das Ehrendoktorat für die Entdeckung "der bedeutsamsten mathematischen Wahrheit des Jahrhunderts". Er gilt allgemein als der größte Logiker seit Aristoteles. Sein Freund Einstein ging, nach eigener Aussage, nur deshalb ans... more...

#### Sentences undecidable in formalized arithmetic

Elsevier Science 2000; US$ 275.00Provability, Computability and Reflection more...

#### Thinking About Godel and Turing

World Scientific Publishing Company 2007; US$ 234.00Dr Gregory Chaitin, one of the world's leading mathematicians, is best known for his discovery of the remarkable Ω number, a concrete example of irreducible complexity in pure mathematics which shows that mathematics is infinitely complex. In this volume, Chaitin discusses the evolution of these ideas, tracing them back to Leibniz and Borel... more...

- 1
- Page