 AnhangWolfgang Stegmüller
Chapter E in Unvollständigkeit und Unentscheidbarkeit, 1959, pp 99-111 from Springer Abstract: Zusammenfassung Der Beweis des Theorems von Gödel in Abschn. 2 erfolgte unter der Voraussetzung, daß die beiden in D 2 und D 3 eingeführten Prädikate „R(x,y)“ und „Q(x,z)“ im System ZL formal ausdrückbar sind (in dem durch D l , Abschn. 2, S. 21, präzisierten Sinn). Auf dem Wege über die .Arithmetisierung der Metatheorie konnte in Abschn. 4 gezeigt werden, daß jene beiden Prädikate prim. rek. sind. Um den Beweis zum vollständigen Abschluß zu bringen, muß noch bewiesen werden, daß alle prim. rek. Prädikate innerhalb von ZL formal ausdrückbar sind. Dieser Beweis ist zumindest dann erforderlich, wenn man das System ZL nicht durch zusätzliche Axiome in geeigneter Weise verstärkt. Wir hatten am Schluß von Abschn. 4 darauf hingewiesen, daß eine derartige Verstärkung möglich wäre : Man hätte einfach die Rekursionsgleichungen für die benötigten prim. rek. Funktionen zum Formalismus ZL als Axiome hinzuzufügen. Für den Fall einer derartigen Verstärkung von ZL würde sich der noch ausstehende Beweis erübrigen. Es soll nun gezeigt werden, daß diese Verstärkung nicht notwendig ist: das System ZL in seiner ursprünglichen Gestalt ist bereits vollkommen ausreichend, um alle prim. rek. Prädikate formal auszudrücken. Date: 1959 There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it. Related works: Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-3-7091-3524-2_6 Ordering information: This item can be ordered from DOI: 10.1007/978-3-7091-3524-2_6 Access Statistics for this chapter More chapters in Springer Books from Springer |
Is your work missing from RePEc? Here is how to contribute.
Questions or problems? Check the EconPapers FAQ or send mail to .
EconPapers is hosted by the
School of Business at Örebro University.