Del 106 i serien Grundlehren der mathematischen Wissenschaften

Grundzüge der Mathematischen Logik

Häftad, Tyska, 2012

AvHeinrich Scholz,Gisbert Hasenjaeger

979 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum2012-02-12
Mått152 x 229 x 29 mm
Vikt750 g
FormatHäftad
SpråkTyska
SerieGrundlehren der mathematischen Wissenschaften
Antal sidor504
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783642948152

Tillhör följande kategorier

Matematik inom Naturvetenskap och teknik

§ 1. Prolegomena.- § 2. Einführung in die Satzlogik.- § 3. Einführung in die Regellogik. Der Zusammenhang von Satzlogik und Regellogik.- § 4. Aufgabe und Charakter einer mathematischen Logik.- § 5. Grundlagen einer metasprachlichen Aussagentheorie.- § 6. Zur Logik und Symbolik der Metasprache.- § 7. Zeichen für Zeichen.- Erstes Hauptstück: Aussagenkalkül.- A) Konstituierung des Aussagenkalküls.- B) Semantik.- C) Deduktionstheoretische Betrachtungen.- Zweites Hauptstück: Prädikatenkalkül.- A) Allgemeine Grundlegung.- B) Semantik.- C) Syntax.- D) Beziehungen zwischen Semantik und Syntax im PFK.- Drittes Hauptstück: Prädikatenkalkül mit Identität (I-Kalkül).- A) Allgemeine Grundlegung.- B) Semantik.- C) Syntax.- D) Beziehungen zwischen Syntax und Syntax im IFK.- Viertes Hauptstück: Einführung in die Stufenlogik.- A) Die Logik der zweiten Stufe.- B) Die volle Typentheorie.- C) Erweiterungen der Typenlogik.- Fünftes Hauptstück: Die Theoreme von Church und Gödel.- § 230. Einleitung: Unmöglichkeitstheoreme.- § 231. Charakterisierung von arithmetischen Attributen im PFK*.- § 232. Vorläufige Definition von 1D518. Das Diagonalverfahren.- § 233. Die Arithmetisierung: Definition von H(m).- § 234. Reguläre Definitionen zur Arithmetisierung.- § 235. Die regulären Definitionen von echt regulären Attributen.- § 236. Argumente für die Angemessenheit der regulären Definitionen als Normalform für Aufzählungsverfahren.- § 237. Die Unentscheidbarkeit des Prädikatenkalküls.- § 238. Die Nichtaxiomatisierbarkeit der Stufenlogik.- Anhang: Regellogik.- § 250. Einführung in die Regellogik.- § 251. Der aussagenlogische Sequenzenkalkül (ASK).- § 252. Erweiterung zum Konsequenzenkalkül für die PL (PSK).- Namen- und Sachverzeichnis.