Unvollständigkeit und Unentscheidbarkeit: die metamathematischen Resultate von Gödel, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung |
Contents
Einleitung | 1 |
Die Antinomie von Richard 322228 | 3 |
B Die Gödelschen Theoreme | 12 |
Copyright | |
20 other sections not shown
Other editions - View all
Unvollständigkeit und Unentscheidbarkeit: Die metamathematischen Resultate ... Wolfgang Stegmüller No preview available - 1973 |
Common terms and phrases
ableitbar Abschn algorithmische Theorie allg analog Äquivalenz Argument Argumentwert Arithmetik arithmetische Prädikate Arithmetisierung Axiome B-Funktion Begriff beiden berechenbaren Funktionen Beweis beweisbaren Formeln beweisbaren Sätze daher darstellbar darstellt definiert Definition effektiv entscheidbar effektives Entscheidungsverfahren enthält Entscheidungsproblem entsprechenden erste Fall folgenden formal widerspruchsfrei formalen Objekten formales System Formalisierung Formalismus Formel Formeln von ZL freie freien Variablen Funktionszeichen Gebilde gemäß Gestalt gibt gilt Gleichung GÖDEL Gödelisierung Gödelzahl Grund Gültigkeit H₁ heißt innerhalb von ZL intuitiven K₁ Kalkül Klasse der beweisbaren KLEENE 16 Konjunktion läßt logischen M₁ metamathematischen Metasprache metatheoretischen muß n-tupel natürlichen Zahlen Negation Objektsprache Prädikat prim primitiven Rekursion Quantifikationstheorie Quantifikator Quantoren rekursiv aufzählbar Relation repräsentierende Funktion Resultate Sätze von ZL soll somit Symbole System ZL Systems Term Th₁ Theorem von CHURCH Theorem von GÖDEL unbeweisbar verallgemeinerte verwendet Voraussetzung vorgegeben Wert Widerlegungsverfahren wieder wobei x₁ xn,y zahlentheoretischen Funktionen Zeichen Ziffer zunächst