Verkäufer
Berliner Büchertisch eG, Berlin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
AbeBooks-Verkäufer seit 14. April 2015
145 S. Gutes Exemplar, geringe Gebrauchsspuren, Cover/SU berieben/bestoßen, innen alles in Ordnung; Good copy, light signs of previous use, cover/dust jacket shows some rubbing/wear, interior in good condition. B231009az15 ISBN: 9781916906310 Sprache: Englisch Gewicht in Gramm: 301. Bestandsnummer des Verkäufers 668933
Kurt Gödel's famous First Incompleteness Theorem shows that for any sufficiently rich theory that contains enough arithmetic, there are some arithmetical truths the theory cannot prove. How is this remarkable result proved? This short book explains. It also discusses Gödel's Second Incompleteness Theorem. Based on much-downloaded lecture notes for a course given in Cambridge for many years, the aim is to make the Theorems available, clearly and accessibly, even to those with a quite limited formal background (and at a third of the length of the same author's more wide-ranging Introduction to Gödel's Theorems).
Titel: Gödel Without (Too Many) Tears
Verlag: Logic Matters
Erscheinungsdatum: 2021
Einband: Softcover
Zustand: Gut