Unvollständigkeit und Unentscheidbarkeit

Um unseren Shop nutzen zu können, müssen Sie Javascript in Ihrem Browser aktivieren.

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Deutsch

59,99 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 4-7 Werktage

Sie können kein Produkt in den Warenkorb legen, da Javascript und technisch notwendige Cookies aktiviert sein müssen.

Kategorien:

Beschreibung

Antinomie des Liigners von EPIMEN'IDES und das Paradoxon von RICHARD.

Inhaltsverzeichnis

A. Intuitiver Zugang zum Gödelschen Unvollständigkeitstheorem: Die Antinomie von Richard.- B. Die Gödelschen Theoreme.- 1. Das formale System ZL.- 2. Die Theoreme von Gödel.- 3. Primitiv rekursive Funktionen und Prädikate.- 4. Die Arithmetisierung der Metatheorie.- C. Die Unentscheidbarkeit der Quantifikationstheorie (Theorem von Church).- Vorbemerkungen.- 5. Allgemein-rekursive Funktionen.- 6. Der Gleichungskalkül von Kleene.- 7. Die schematische Funktionentheorie von Quine.- 8. Das Theorem von Church (nach Quine).- D. Die Verallgemeinerungen von Kleene.- 9. Das Kleenesche T-Prädikat.- 10. Das Aufzählungstheorem und seine Konsequenzen.- 11. Das Normalformentheorem.- 12. Algorithmische Theorien und das Theorem von Church in der Fassung von Kleene.- 13. Rekursive Aufzählbarkeit, Beweisverfahren und das verallgemeinerte Gödelsche Theorem.- 14. Die symmetrische Form des verallgemeinerten Gödelschen Theorems und die Unentscheidbarkeit der elementaren Zahlentheorie.- 15. Zusammenfassung.- E. Anhang.- 16. Die Gödelsche ?-Funktion.- 17. Primitiv rekursive und arithmetische Prädikate und der zahlentheoretische Formalismus.- 18. Einige Definitionen metamathematischer Prädikate.- Namen- und Sachverzeichnis.

Fachbereich:	Allgemeines
Genre:	Mathematik
Rubrik:	Naturwissenschaften & Technik
Medium:	Taschenbuch
Seiten:	128
Inhalt:	viii 116 S.
ISBN-13:	9783211812082
ISBN-10:	3211812083
Sprache:	Deutsch
Ausstattung / Beilage:	Paperback
Einband:	Kartoniert / Broschiert
Autor:	Stegmüller, Wolfgang
Auflage:	3. verb. Aufl.
Hersteller:	Springer Vienna Springer-Verlag GmbH
Maße:	229 x 152 x 8 mm
Von/Mit:	Wolfgang Stegmüller
Erscheinungsdatum:	13.12.1973
Gewicht:	0,198 kg

Ähnliche Produkte