Godel's Proof
Title | Godel's Proof PDF eBook |
Author | Ernest Nagel |
Publisher | Routledge |
Total Pages | 109 |
Release | 2012-11-12 |
Genre | Philosophy |
ISBN | 1134953992 |
The first book to present a readable explanation of Godel's theorem to both scholars and non-specialists, this is a gripping combination of science and accessibility, offering those with a taste for logic and philosophy the chance to satisfy their intellectual curiosity.
Gödel's Proof
Title | Gödel's Proof PDF eBook |
Author | Ernest Nagel |
Publisher | Psychology Press |
Total Pages | 118 |
Release | 1989 |
Genre | Gödel's theorem |
ISBN | 041504040X |
In 1931 the mathematical logician Kurt Godel published a revolutionary paper that challenged certain basic assumptions underpinning mathematics and logic. A colleague of Albert Einstein, his theorem proved that mathematics was partly based on propositions not provable within the mathematical system and had radical implications that have echoed throughout many fields. A gripping combination of science and accessibility, Godel’s Proofby Nagel and Newman is for both mathematicians and the idly curious, offering those with a taste for logic and philosophy the chance to satisfy their intellectual curiosity.
Incompleteness
Title | Incompleteness PDF eBook |
Author | Rebecca Goldstein |
Publisher | W. W. Norton & Company |
Total Pages | 299 |
Release | 2006-01-31 |
Genre | Biography & Autobiography |
ISBN | 0393327604 |
"An introduction to the life and thought of Kurt Gödel, who transformed our conception of math forever"--Provided by publisher.
S(zp, Zp)
Title | S(zp, Zp) PDF eBook |
Author | Roy Wagner |
Publisher | Polimetrica s.a.s. |
Total Pages | 245 |
Release | 2009 |
Genre | Mathematics |
ISBN | 8876991573 |
S(zp,zp) performs an innovative analysis of one of modern logic's most celebrated cornerstones: the proof of Gödel's first incompleteness theorem. The book applies the semiotic theories of French post- structuralists such as Julia Kristeva, Jacques Derrida and Gilles Deleuze to shed new light on a fundamental question: how do mathematical signs produce meaning and make sense? S(zp,zp) analyses the text of the proof of Gödel's result, and shows that mathematical language, like other forms of language, enjoys the full complexity of language as a process, with its embodied genesis, constitutive paradoxical forces and unbounded shifts of meaning. These effects do not infringe on the logico-mathematical validity of Gödel's proof. Rather, they belong to a mathematical unconscious that enables the successful function of mathematical texts for a variety of different readers. S(zp,zp) breaks new ground by synthesising mathematical logic and post-structural semiotics into a new form of philosophical fabric, and offers an original way of bridging the gap between the "two cultures".
An Introduction to Gödel's Theorems
Title | An Introduction to Gödel's Theorems PDF eBook |
Author | Peter Smith |
Publisher | Cambridge University Press |
Total Pages | 376 |
Release | 2007-07-26 |
Genre | Mathematics |
ISBN | 0521857848 |
Peter Smith examines Gödel's Theorems, how they were established and why they matter.
Metamathematics, Machines and Gödel's Proof
Title | Metamathematics, Machines and Gödel's Proof PDF eBook |
Author | N. Shankar |
Publisher | Cambridge University Press |
Total Pages | 224 |
Release | 1997-01-30 |
Genre | Computers |
ISBN | 9780521585330 |
Describes the use of computer programs to check several proofs in the foundations of mathematics.
Godel's Theorem in Focus
Title | Godel's Theorem in Focus PDF eBook |
Author | S.G. Shanker |
Publisher | Taylor & Francis |
Total Pages | 271 |
Release | 2012-08-21 |
Genre | Philosophy |
ISBN | 1134947984 |
A 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.