# The Leading eBooks Store Online

## 3,603,993 members ⚫ 1,165,375 ebooks

#### 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...

#### Kurt Gödel

Vieweg+Teubner Verlag 2007; Not AvailableTime 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...

#### Thinking About Godel and Turing

World Scientific Publishing Company 2007; US$ 70.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...

#### Sentences undecidable in formalized arithmetic

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

#### Godel's Incompleteness Theorems

Oxford University Press 1992; US$ 239.99 US$ 206.39Kurt Godel, the greatest logician of our time, startled the world of mathematics in 1931 with his Theorem of Undecidability, which showed that some statements in mathematics are inherently "undecidable." His work on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the continuum theory brought... more...

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

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

- 1
- Page