Unvollständigkeit und Unentscheidbarkeit

Die metamathematischen Resultate von Gödel, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung

AvWolfgang Stegmüller

Häftad, Tyska, 1973

622 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

E-bok

452 kr

E-bok

93 kr

E-bok

638 kr

Produktinformation

Utgivningsdatum:1973-12-13
Mått:152 x 229 x 8 mm
Vikt:198 g
Format:Häftad
Språk:Tyska
Antal sidor:116
Upplaga:3
Förlag:Springer Verlag GmbH
ISBN:9783211812082

Utforska kategorier

Innehållsförteckning

A. Intuitiver Zugang zum Gödelschen Unvollständigkeitstheorem: Die Antinomie von Richard.- B. Die Gödelschen Theoreme.- 1. Das formale System ZL.- 2. Die Theoreme von Gödel.- 3. Primitiv rekursive Funktionen und Prädikate.- 4. Die Arithmetisierung der Metatheorie.- C. Die Unentscheidbarkeit der Quantifikationstheorie (Theorem von Church).- Vorbemerkungen.- D. Die Verallgemeinerungen von Kleene.- 9. Das Kleenesche T-Prädikat.- 10. Das Aufzählungstheorem und seine Konsequenzen.- 11. Das Normalformentheorem.- 12. Algorithmische Theorien und das Theorem von Church in der Fassung von Kleene.- 13. Rekursive Aufzählbarkeit, Beweisverfahren und das verallgemeinerte Gödelsche Theorem.- 14. Die symmetrische Form des verallgemeinerten Gödelschen Theorems und die Unentscheidbarkeit der elementaren Zahlentheorie.- 15. Zusammenfassung.- E. Anhang.- 16. Die Gödelsche ?-Funktion.- 17. Primitiv rekursive und arithmetische Prädikate und der zahlentheoretische Formalismus.- 18. Einige Definitionen metamathematischer Prädikate.- Namen- und Sachverzeichnis.

Mer från samma författare

Teleologie, Funktionalanalyse und Selbstregulation (Kybernetik)

Matthias Varga von Kibéd, Wolfgang Stegmüller

Häftad, 1982

690 kr

Wissenschaftssprache, Signifikanz und theoretische Begriffe

Wolfgang Stegmüller

Häftad, 1970

144 kr

Beobachtungssprache, theoretische Sprache und die partielle Deutung von Theorien

Wolfgang Stegmüller

Häftad, 1970

192 kr

Neue Betrachtungen über Aufgaben und Ziele der Wissenschaftstheorie. Wahrscheinlichkeit—Theoretische Begriffe—Induktion. Das ABC der modernen Wahrscheinlichkeitstheorie und Statistik

Wolfgang Stegmüller

Häftad, 1973

468 kr

Entscheidungslogik

Wolfgang Stegmüller

Häftad, 1973

263 kr

Carnap II: Normative Theorie des induktiven Räsonierens

Wolfgang Stegmüller

Häftad, 1973

294 kr

‚Jenseits von Popper und Carnap‘ Stützungslogik, Likelihood, Bayesianismus Statistische Daten Zufall und Stichprobenauswahl Testtheorie Schätzungstheorie Subjektivismus kontra Objektivismus Fiduzial-Wahrscheinlichkeit

Wolfgang Stegmüller

Häftad, 1973

468 kr

‚Statistische Begründung und statistische Analyse‘ statt ‚Statistische Erklärung‘ Indeterminismus vom zweiten Typ Das Repräsentationsthoerem von de Finetti Metrisierung qualitativer Wahrscheinlichkeitsfelder

Wolfgang Stegmüller

Häftad, 1973

263 kr

Statistische Erklärungen Deduktiv-nomologische Erklärungen in präzisen Modellsprachen Offene Probleme

Matthias Varga von Kibéd, Wolfgang Stegmüller

Häftad, 1982

690 kr

Structuralist View of Theories

Wolfgang Stegmüller

Häftad, 1979

1 104 kr

Du kanske också är intresserad av

Del 1

Story of the Stone (Volume I)

Cao Xueqin, Gao Gao E

Häftad, 1973

189 kr

John Milton: Introductions

John Barclay Broadbent, J. B. Broadbent, John Broadbent

Häftad, 1973

530 kr

Anthems for Choirs 2

Philip Ledger

342 kr

On Economic Inequality

Amartya Sen

Häftad, 1973

1 029 kr

Anthems for Choirs 3

Philip Ledger

338 kr