Definition eines (relativ vollständigen) formalen Systems konstruktiver Arithmetik

Eduard Wette

A chapter in Foundations of Mathematics, 1969, pp 130-195 from Springer

Abstract: Zusammenfassung Gödels Resultate (1931) [5] — die Unvollständigkeit formaler Systeme, die eine Arithmetik enthalten, und die Unableitbarkeit einer Aussage, die die Widerspruchsfreiheit des betreffenden formalen Systems in arithmetischer Verschlüsselung ausdrückt — reizen wegen der konstruktiven Art ihres Beweises zu der Aufgabe, die konstruktive Mathematik mit der klassischen Mathematik in einen Wettbewerb treten zu lassen, bei dem es darum geht, welche Art des Mathematisierens unter dem unparteiischen Gesichtspunkt der finiten Metamathematik Hilberts [9] zu einem formalistisch feinmaschigeren Netz von Postulaten führt. Gödels Umdeutung einer Arithmetik mit berechenbaren Funktionalen (1958) [7] schafft einen neuen Zugang zu Widerspruchsfreiheitsbeweisen; dort wird in dem früher von Gentzen (1936) [4] behandelten Fall der reinen Zahlentheorie mit primitiv rekursiven Funktionen endlichen Typs über natürlichen Zahlen gearbeitet, dafür aber ohne transfinite Ordinalzahlen und ohne logische Partikeln — von der vollständigen Induktion reicht eine direkte (beim Schritt von n auf n + 1 nicht auf eine Implikation reflektierende) Schlußweise aus, die von Φ(n) = Φ(n + 1) zu Φ(1) = Φ(m) übergeht.

Date: 1969
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-3-642-86745-3_9

Ordering information: This item can be ordered from
http://www.springer.com/9783642867453

DOI: 10.1007/978-3-642-86745-3_9

Access Statistics for this chapter

More chapters in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().