# The Leading eBooks Store Online

## 3,863,569 members ⚫ 1,270,059 ebooks

#### Provability, Computability and Reflection

Elsevier Science 2000; US$ 275.00Provability, Computability and Reflection 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...

#### Thinking About Godel and Turing

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

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

#### Kurt Gödel

Vieweg+Teubner Verlag 2007; US$ 25.38Time 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...

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

#### Godel's Incompleteness Theorems

Oxford University Press 1992; US$ 239.99Kurt 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...

- 1
- Page