Zusammenfassung
Im vorliegenden Kapitel wird die Unentscheidbarkeit (im Sinne von Church) und die Unvollständigkeit (im Sinne von Gödel) für eine bestimmte Theorie erster Stufe, nämlich für ein Fragment der Zahlentheorie N, gezeigt. Diese Theorie N wurde erstmals von Shoenfield in [1], Kap. 6, zur Grundlage für den Nachweis der Theoreme von Gödel und Church verwendet.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1984 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Stegmüller, W., von Kibéd, M.V. (1984). Unvollständigkeit und Unentscheidbarkeit. In: Normalformen. Identität und Kennzeichnung. Theorien und definitorische Theorie-Erweiterungen. Kompaktheit. Magische Mengen. Fundamentaltheorem. Analytische und synthetische Konsistenz. Unvollständigkeit und Unentscheidbarkeit. Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie, Band III, Strukturtypen der Logik, vol 3 / B. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-61725-6_7
Download citation
DOI: https://doi.org/10.1007/978-3-642-61725-6_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-12212-8
Online ISBN: 978-3-642-61725-6
eBook Packages: Springer Book Archive