Intuitiver Zugang zum Gödelschen Unvollständigkeitstheorem: Die Antinomie von Richard

Wolfgang Stegmüller
Additional contact information
Wolfgang Stegmüller: Universität München

Chapter A in Unvollständigkeit und Unentscheidbarkeit, 1959, pp 3-11 from Springer

Abstract: Zusammenfassung Die Antinomie von Richard, eines der häufig angeführten Beispiele logischer Paradoxien, kann durch Überführung aus der vagen Alltagssprache in ein nach präzisen Regeln aufgebautes zahlentheoretisches System S sukzessive in das erste Theorem von Gödel umgeformt werden. Durch diese Überführung verschwindet der antinomische Charakter des ersten Satzes und an die Stelle einer antinomischen Behauptung tritt ein wichtiges metamathematisches Resultat. Man kann geradezu sagen, daß die Leistung Gödels darin bestand, die Fehler zu korrigieren, die für das Zustandekommen jener Antinomie verantwortlich zu machen sind, dabei aber zugleich die bei der Konstruktion der Antinomie verwendeten korrekten Schlüsse beizubehalten und sie in geschickter Weise für sein Theorem auszuwerten.

Date: 1959
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-7091-3524-2_2

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

DOI: 10.1007/978-3-7091-3524-2_2

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 ().