Verlag / Jahr

Berlin ; Heidelberg ; New York ; Tokyo : Springer, 1984.

Format / Einband

Originalpappband. IV S., S. 232 - 374

Sprache

Deutsch

Gewicht

ca. 550 g

ISBN

3540122125

EAN

9783540122128

Bestell-Nr

1229680

Bemerkungen

Sehr gutes Exemplar. - Inhaltsverzeichnis -- Kapitel 6. Normalformen -- Dualform -- Adjunktive und konjunktive Normalform -- Pränexe Normalform -- Skolem-Normalform -- Distributive Normalform ("Hintikka-Normalform") -- Kapitel 7. Identität -- /-Semantik. -- Anzahlquantoren -- Der Kennzeichnungsoperator -- Kapitel 8. Theorien -- Entscheidbarkeit und Aufzählbarkeit -- Theorien erster Stufe -- Defmitorische Theorieerweiterung -- Teil II. Metalogische Ergebnisse -- Kapitel 9. Kompaktheit -- 9.0 SMULLYANS Behandlung von Bewertungs- und Interpretationssemantik . . -- Allgemeines. Ein "direkter" (synthetischer) Beweis des Kompaktheitssatzes . -- Deduzierbarkeitsversion des Kompaktheitssatzes -- Analytische oder "Gödel-Gentzen"-Varianten des Kompaktheitstheorembeweises -- Synthetische oder "Lindenbaum-Henkin"-Varianten des Kompaktheitstheorembeweises -- Eine analytische Variante des Beweises von LINDENBAUM -- Kapitel 10. Das Fundamentaltheorem der Quantorenlogik -- SMULLYANS magische Mengen -- Reguläre Mengen -- Magische Mengen -- Kompaktheitstheorem. Löwenheim-Skolem-Theorem -- Das Fundamentaltheorem der Quantorenlogik (Abstrakte Fassung des Satzes -- von HERBRAND) -- Ein Beweis des Fundamentaltheorems auf der Grundlage des Baumverfahrens -- Direkter und verschärfter Vollständigkeitsbeweis des axiomatischen Kalküls A -- Kapitel 11. Analytische und synthetische Konsistenz. Zwei Typen von Vollständigkeitsbeweisen: solche vom Gödel-Gentzen-Typ und solche vom Henkin-Typ330 -- Formale Konsistenz in axiomatischen Kalkülen und analytischeKonsistenz . 330 -- Analytisches Konsistenz-Erfüllbarkeitstheorem und Gödelsche -- Vollständigkeit333 -- Formale Konsistenz in axiomatischen Kalkülen und synthetischeKonsistenz . 335 -- Synthetisches Konsistenz-Erfüllbarkeitstheorem und Henkinsche -- Vollständigkeit336 -- Kapitel 12. Unvollständigkeit und Unentscheidbarkeit342 -- Vorbemerkungen342 -- Sprachen erster Stufe345 -- Theorien erster Stufe348 -- Die Theorie erster Stufe N350 -- Berechenbarkeit und Entscheidbarkeit351 -- Intuitive Vorbemerkungen zu den Begriffen der Aufzählbarkeit, Entscheidbarkeit und Berechenbarkeit351 -- Rekursive Funktionen und Prädikate356 -- Sequenzzahlen360 -- Ausdruckszahlen362 -- Formale Repräsentierbarkeit365 -- Unentscheidbarkeit und Unvollständigkeit366. ISBN 9783540122128

Unser Preis

EUR 18,00

(inkl. MwSt.)

Versandkostenfrei innerhalb Deutschlands

Aufgenommen mit whBOOK

Sicheres Bestellen - Order-Control geprüft!