GERMAN

Unvollständigkeit und Unentscheidbarkeit: Die metamathematischen Resultate von Gödel, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung

By Wolfgang Stegmüller

Book information

Publisher
Springer Vienna
Year
1970
ISBN
978-3-211-80959-4;978-3-7091-4528-9
Language
german
Format
PDF
Filesize
16 MB (16288810 bytes)
Edition
2. Aufl.
Pages
III, 117\118
Time added
2019-09-18 12:22:07
general; ScienceHumanities and Social SciencesMathematics; Mathematicsmultidisciplinary

Description

Front Matter ....Pages i-iii Einleitung (Wolfgang Stegmüller)....Pages 1-2 Intuitiver Zugang zum Gödelschen Unvollständigkeitstheorem: Die Antinomie von Richard (Wolfgang Stegmüller)....Pages 3-11 Die Gödelschen Theoreme (Wolfgang Stegmüller)....Pages 12-43 Die Unentscheidbarkeit der Quantifikationstheorie (Theorem von Church) (Wolfgang Stegmüller)....Pages 44-57 Die Verallgemeinerungen von Kleene (Wolfgang Stegmüller)....Pages 58-98 Anhang (Wolfgang Stegmüller)....Pages 99-111 Back Matter ....Pages 112-114

Similar books