Normalformen. Identität und Kennzeichnung. Theorien und definitorische Theorie-Erweiterungen. Kompaktheit. Magische Mengen. Fundamentaltheorem. Analytische und synthetische Konsistenz. Unvollständigkeit und Unentscheidbarkeit
Seiten
1983
|
1984
Springer Berlin (Verlag)
978-3-540-12212-8 (ISBN)
Springer Berlin (Verlag)
978-3-540-12212-8 (ISBN)
6. Normalformen.- 6.1 Dualform.- 6.2 Adjunktive und konjunktive Normalform.- 6.3 Pränexe Normalform.- 6.4 Skolem-Normalform.- 6.5 Distributive Normalform ("Hintikka-Normalform").- 7. Identität.- 7.1 i-Semantik.- 7.2 Anzahlquantoren.- 7.3 Der Kennzeichnungsoperator.- 8. Theorien.- 8.1 Entscheidbarkeit und Aufzählbarkeit.- 8.2 Theorien erster Stufe.- 8.3 Definitorische Theorieerweiterung.- II. Metalogische Ergebnisse.- 9. Kompaktheit.- 10. Das Fundamentaltheorem der Quantorenlogik.- 11. Analytische und synthetische Konsistenz. Zwei Typen von Vollständigkeitsbeweisen: solche vom Gödel-Gentzen-Typ und solche vom Henkin-Typ.- 12. Unvollständigkeit und Unentscheidbarkeit.
| Erscheint lt. Verlag | 1.11.1983 |
|---|---|
| Reihe/Serie | Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie | Strukturtypen der Logik |
| Zusatzinfo | 143 S. |
| Verlagsort | Berlin |
| Sprache | deutsch |
| Maße | 155 x 235 mm |
| Gewicht | 232 g |
| Themenwelt | Mathematik / Informatik ► Mathematik ► Allgemeines / Lexika |
| Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre | |
| Schlagworte | Analytische Philosophie • Berechenbarkeit • Beweis • Funktionen • Kompaktheitssatz • Konjunktive Normalform • Lehrsatz • Logik • Löwenheim-Skolem-Theorem • Mengen • Prädikate • Quantoren • Randelementmethode • Rekursive Funktionen • Sopera • Typen • Wissenschaftstheorie |
| ISBN-10 | 3-540-12212-5 / 3540122125 |
| ISBN-13 | 978-3-540-12212-8 / 9783540122128 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
