<電子ブック>
Grundzüge der Mathematischen Logik

責任表示
著者
本文言語
出版者
出版年
出版地
関連情報
目次 {sect} 1. Prolegomena
{sect} 2. Einführung in die Satzlogik
{sect} 3. Einführung in die Regellogik. Der Zusammenhang von Satzlogik und Regellogik
{sect} 4. Aufgabe und Charakter einer mathematischen Logik
{sect} 5. Grundlagen einer metasprachlichen Aussagentheorie
{sect} 6. Zur Logik und Symbolik der Metasprache
{sect} 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
{sect} 230. Einleitung: Unmöglichkeitstheoreme
{sect} 231. Charakterisierung von arithmetischen Attributen im PFK*
{sect} 232. Vorläufige Definition von 1D518. Das Diagonalverfahren
{sect} 233. Die Arithmetisierung: Definition von H(m)
{sect} 234. Reguläre Definitionen zur Arithmetisierung
{sect} 235. Die regulären Definitionen von echt regulären Attributen
{sect} 236. Argumente für die Angemessenheit der regulären Definitionen als Normalform für Aufzählungsverfahren
{sect} 237. Die Unentscheidbarkeit des Prädikatenkalküls
{sect} 238. Die Nichtaxiomatisierbarkeit der Stufenlogik
Anhang: Regellogik
{sect} 250. Einführung in die Regellogik
{sect} 251. Der aussagenlogische Sequenzenkalkül (ASK)
{sect} 252. Erweiterung zum Konsequenzenkalkül für die PL (PSK)
Namen- und Sachverzeichnis.
続きを見る
本文を見る Full text available from SpringerLink ebooks - Life Science & basic disciplines (German Language) (Archive)

詳細

レコードID
主題
SSID
eISBN
登録日 2020.06.27
更新日 2020.06.28