Unvollständigkeit und Unentscheidbarkeit : Die metamathematischen Resultate von Gödel, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung
著者
書誌事項
Unvollständigkeit und Unentscheidbarkeit : Die metamathematischen Resultate von Gödel, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung
Springer, 1973
3., verbesserte Aufl.
大学図書館所蔵 件 / 全15件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Bibliography: p. [113]-114
内容説明・目次
目次
A. Intuitiver Zugang zum Goedelschen Unvollstandigkeitstheorem: Die Antinomie von Richard.- B. Die Goedelschen Theoreme.- 1. Das formale System ZL.- 2. Die Theoreme von Goedel.- 3. Primitiv rekursive Funktionen und Pradikate.- 4. Die Arithmetisierung der Metatheorie.- C. Die Unentscheidbarkeit der Quantifikationstheorie (Theorem von Church).- Vorbemerkungen.- 5. Allgemein-rekursive Funktionen.- 6. Der Gleichungskalkul von Kleene.- 7. Die schematische Funktionentheorie von Quine.- 8. Das Theorem von Church (nach Quine).- D. Die Verallgemeinerungen von Kleene.- 9. Das Kleenesche T-Pradikat.- 10. Das Aufzahlungstheorem und seine Konsequenzen.- 11. Das Normalformentheorem.- 12. Algorithmische Theorien und das Theorem von Church in der Fassung von Kleene.- 13. Rekursive Aufzahlbarkeit, Beweisverfahren und das verallgemeinerte Goedelsche Theorem.- 14. Die symmetrische Form des verallgemeinerten Goedelschen Theorems und die Unentscheidbarkeit der elementaren Zahlentheorie.- 15. Zusammenfassung.- E. Anhang.- 16. Die Goedelsche ?-Funktion.- 17. Primitiv rekursive und arithmetische Pradikate und der zahlentheoretische Formalismus.- 18. Einige Definitionen metamathematischer Pradikate.- Namen- und Sachverzeichnis.
「Nielsen BookData」 より