# The Leading eBooks Store Online

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

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

#### Sentences undecidable in formalized arithmetic

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

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

- 1
- Page