Placeholder text

Go to cart

Unvollständigkeit und Unentscheidbarkeit

By Wolfgang Stegmüller

Unvollständigkeit und Unentscheidbarkeit book

Unvollständigkeit und Unentscheidbarkeit

0 - Used - good
Description
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.- 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.
Product details
Binding:
Paperback
Edition:
3
Number of Pages:
128
Release Date:
2013-10-04
Publication Date:
1973-12-13
Publisher:
Springer
Languages:
Original: German
ISBN10:
3211812083
ISBN13:
9783211812082
Weight:
198 g
Height:
152 cm
Width:
229 cm
Thickness:
8 cm
Currently sold out