Zum Hauptinhalt springen Zur Suche springen Zur Hauptnavigation springen
Beschreibung
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 can express but cannot prove. How is this remarkable result established? This short book explains. It also discusses Gödel's Second Incompleteness Theorem. The aim is to make the Theorems available, clearly and accessibly, even to those with a quite limited formal background.

The first edition was based on much-downloaded lecture notes for a course given in Cambridge for many years. This second edition is expanded and extensively revised.
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 can express but cannot prove. How is this remarkable result established? This short book explains. It also discusses Gödel's Second Incompleteness Theorem. The aim is to make the Theorems available, clearly and accessibly, even to those with a quite limited formal background.

The first edition was based on much-downloaded lecture notes for a course given in Cambridge for many years. This second edition is expanded and extensively revised.
Über den Autor
Until he retired, Peter Smith was a Senior Lecturer at the University of Cambridge.
Details
Erscheinungsjahr: 2022
Fachbereich: Allgemeines
Genre: Importe, Philosophie
Jahrhundert: Antike
Rubrik: Geisteswissenschaften
Thema: Lexika
Medium: Buch
Inhalt: Gebunden
ISBN-13: 9781916906341
ISBN-10: 1916906346
Sprache: Englisch
Einband: Gebunden
Autor: Smith, Peter
Auflage: 2. Auflage
Hersteller: Logic Matters
Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de
Maße: 250 x 175 x 13 mm
Von/Mit: Peter Smith
Erscheinungsdatum: 01.12.2022
Gewicht: 0,46 kg
Artikel-ID: 125968084

Ähnliche Produkte