Cantitate/Preț
Produs

Godel's Proof

Autor Ernest Nagel, James R. Newman
en Limba Engleză Paperback – 9 sep 2005
'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 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.
Citește tot Restrânge

Toate formatele și edițiile

Toate formatele și edițiile Preț Express
Paperback (2) 6701 lei  6-8 săpt.
  Lulu.Com – 14 sep 2018 6701 lei  6-8 săpt.
  Taylor & Francis – 9 sep 2005 12436 lei  3-5 săpt. +537 lei  10-14 zile

Preț: 12436 lei

Puncte Express: 187

Preț estimativ în valută:
2197 2533$ 1918£

Carte disponibilă

Livrare economică 25 aprilie-09 mai
Livrare express 14-18 aprilie pentru 1536 lei


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

Public țintă

General

Cuprins

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;