Godel's Proof
Autor Ernest Nagel, James R. Newmanen Limba Engleză Paperback – 9 sep 2005
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 theorem proved that mathematics was partly based on propositions not provable within the mathematical system. The importance of Godel's Proof rests upon its radical implications and has echoed throughout many fields, from maths to science to philosophy, computer design, artificial intelligence, even religion and psychology. While others such as Douglas Hofstadter and Roger Penrose have published bestsellers based on Godel’s theorem, this is the first book to present a readable explanation to both scholars and non-specialists alike. A gripping combination of science and accessibility, Godel’s Proof by 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.
Kurt Godel (1906 – 1978) Born in Brunn, he was a colleague of physicist Albert Einstein and professor at the Institute for Advanced Study in Princeton, N.J.
Toate formatele și edițiile | Preț | Express |
---|---|---|
Paperback (2) | 68.97 lei 43-57 zile | +5.02 lei 5-11 zile |
Taylor & Francis – 9 sep 2005 | 99.74 lei 22-36 zile | +5.02 lei 5-11 zile |
Lulu.Com – 13 sep 2018 | 68.97 lei 43-57 zile |
Preț: 99.74 lei
Nou
Puncte Express: 150
Preț estimativ în valută:
19.09€ • 19.83$ • 15.86£
19.09€ • 19.83$ • 15.86£
Carte disponibilă
Livrare economică 13-27 ianuarie 25
Livrare express 27 decembrie 24 - 02 ianuarie 25 pentru 15.01 lei
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9780415355285
ISBN-10: 0415355281
Pagini: 104
Ilustrații: 4 black & white tables
Dimensiuni: 129 x 198 x 6 mm
Greutate: 0.12 kg
Ediția:Revizuită
Editura: Taylor & Francis
Colecția Routledge
Locul publicării:Oxford, United Kingdom
ISBN-10: 0415355281
Pagini: 104
Ilustrații: 4 black & white tables
Dimensiuni: 129 x 198 x 6 mm
Greutate: 0.12 kg
Ediția:Revizuită
Editura: Taylor & Francis
Colecția Routledge
Locul publicării:Oxford, United Kingdom
Public țintă
GeneralCuprins
Chapter 1 Introduction; Chapter 2 The Problem of Consistency; Chapter 3 Absolute Proofs of Consistency; Chapter 4 The Systematic Codification of Formal Logic; Chapter 5 An Example of a Successful Absolute Proof of Consistency; Chapter 6 The Idea of Mapping and Its Use in Mathematics; Chapter 7 Gödel's Proofs; Chapter 8 Concluding Reflections;