Zum Hauptinhalt springen
Dekorationsartikel gehören nicht zum Leistungsumfang.
The Annotated Gödel
A Reader's Guide to his Classic Paper on Logic and Incompleteness
Buch von Hal Prince
Sprache: Englisch

24,20 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Aktuell nicht verfügbar

Kategorien:
Beschreibung
The Annotated Gödel offers a guided tour of Kurt Gödel's 1931 article on incompleteness, which demonstrated unexpected limits to the power of many logical systems. Today we call these results Gödel's First and Second Incompleteness Theorems. The book includes the complete article in a new English translation, interleaved with commentary that guides the reader through Gödel's work, step by step.

The commentary concentrates on Gödel's exposition. It describes what he is doing at each point, and how it relates to other parts of the article. It elaborates on his proofs by outlining them, for example, or by making a table of his variables and their uses, or by filling in gaps in his arguments.

The translation uses modern mathematical notation and terminology. It replaces Gödel's function and relation names, based on German word fragments, with English equivalents. Its language is less formal than that of the earlier translations, which date from the 1960s.

The book assumes some familiarity with mathematical definitions and proofs, at the level of an undergraduate abstract math course, as well as some knowledge of formal logic, from an introductory course or the equivalent.
The Annotated Gödel offers a guided tour of Kurt Gödel's 1931 article on incompleteness, which demonstrated unexpected limits to the power of many logical systems. Today we call these results Gödel's First and Second Incompleteness Theorems. The book includes the complete article in a new English translation, interleaved with commentary that guides the reader through Gödel's work, step by step.

The commentary concentrates on Gödel's exposition. It describes what he is doing at each point, and how it relates to other parts of the article. It elaborates on his proofs by outlining them, for example, or by making a table of his variables and their uses, or by filling in gaps in his arguments.

The translation uses modern mathematical notation and terminology. It replaces Gödel's function and relation names, based on German word fragments, with English equivalents. Its language is less formal than that of the earlier translations, which date from the 1960s.

The book assumes some familiarity with mathematical definitions and proofs, at the level of an undergraduate abstract math course, as well as some knowledge of formal logic, from an introductory course or the equivalent.
Details
Erscheinungsjahr: 2022
Fachbereich: Grundlagen
Genre: Mathematik
Rubrik: Naturwissenschaften & Technik
Medium: Buch
ISBN-13: 9798986414218
Sprache: Englisch
Ausstattung / Beilage: HC gerader Rücken kaschiert
Einband: Gebunden
Autor: Prince, Hal
Hersteller: Homebred Press
Maße: 240 x 161 x 15 mm
Von/Mit: Hal Prince
Erscheinungsdatum: 21.08.2022
Gewicht: 0,446 kg
Artikel-ID: 125334222
Details
Erscheinungsjahr: 2022
Fachbereich: Grundlagen
Genre: Mathematik
Rubrik: Naturwissenschaften & Technik
Medium: Buch
ISBN-13: 9798986414218
Sprache: Englisch
Ausstattung / Beilage: HC gerader Rücken kaschiert
Einband: Gebunden
Autor: Prince, Hal
Hersteller: Homebred Press
Maße: 240 x 161 x 15 mm
Von/Mit: Hal Prince
Erscheinungsdatum: 21.08.2022
Gewicht: 0,446 kg
Artikel-ID: 125334222
Warnhinweis

Ähnliche Produkte

Ähnliche Produkte