Normalformen. Identität und Kennzeichnung. Theorien und definitorische Theorie-Erweiterungen. Kompaktheit. Magische Mengen. Fundamentaltheorem. ... ... und Analytischen Philosophie, 3 / B, Band 3) - Taschenbuch

EAN (ISBN-13): 9783540122128
ISBN (ISBN-10): 3540122125
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 1984
Herausgeber: Springer
143 Seiten
Gewicht: 0,240 kg
Sprache: ger/Deutsch

Buch in der Datenbank seit 2007-06-12T20:38:44+02:00 (Vienna)
Detailseite zuletzt geändert am 2024-03-30T10:52:43+01:00 (Vienna)
ISBN/EAN: 9783540122128

ISBN - alternative Schreibweisen:
3-540-12212-5, 978-3-540-12212-8
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: stegmueller, wolfgang müller, springer, stegmller, stegmuller, stegmüller wolfgang varga von kibed matthias, wolf, matthias varga von kibéd
Titel des Buches: unvollständigkeit, probleme und resultate der wissenschaftstheorie und analytischen philosophie, theorie, analytische philosophie, probleme und resultate der wissenschaftstheorie iii, probleme ent, mengen, synthetische, magische ich, analytische theorien, band, identitaet, unvollstaendigkeit und unentscheidbarkeit, identität, kon tiki, the, kennzeichnung, studienausgabe, erweiterungen, strukturtypen der logik teil

---

Daten vom Verlag:

Autor/in: Wolfgang Stegmüller
Titel: Strukturtypen der Logik; Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie; Normalformen. Identität und Kennzeichnung. Theorien und definitorische Theorie-Erweiterungen. Kompaktheit. Magische Mengen. Fundamentaltheorem. Analytische und synthetische Konsistenz. Unvollständigkeit und Unentscheidbarkeit
Verlag: Springer; Springer Berlin
143 Seiten
Erscheinungsjahr: 1983-11-01
Berlin; Heidelberg; DE
Sprache: Deutsch
19,95 € (DE)
20,51 € (AT)
25,05 CHF (CH)
Available
143 S.

BC; Hardcover, Softcover / Mathematik/Grundlagen; Mathematik: Logik; Verstehen; Berechenbarkeit; Beweis; Funktionen; Kompaktheitssatz; Konjunktive Normalform; Lehrsatz; Logik; Löwenheim-Skolem-Theorem; Mengen; Prädikate; Quantoren; Randelementmethode; Sopera; Typen; rekursive Funktionen; Mathematical Logic and Foundations; Mathematische Grundlagen; EA

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.