Unvollständigkeit und Unentscheidbarkeit

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

AvWolfgang Stegmüller

Häftad, Tyska, 1973

604 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 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

662 kr

Wissenschaftssprache, Signifikanz und theoretische Begriffe

Wolfgang Stegmüller

Häftad, 1970

140 kr

Beobachtungssprache, theoretische Sprache und die partielle Deutung von Theorien

Wolfgang Stegmüller

Häftad, 1970

186 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

455 kr

Entscheidungslogik

Wolfgang Stegmüller

Häftad, 1973

256 kr

Carnap II: Normative Theorie des induktiven Räsonierens

Wolfgang Stegmüller

Häftad, 1973

285 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

455 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

256 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

662 kr

Structuralist View of Theories

Wolfgang Stegmüller

Häftad, 1979

1 071 kr

Du kanske också är intresserad av

Teleologische Erklärung, Funktionalanalyse und Selbstregulation. Teleologie: Normativ oder Deskriptiv? STT, Evolutionstheorie und die Frage Wozu?

Wolfgang Stegmüller

Häftad, 1982

285 kr

Del 1

Story of the Stone (Volume I)

Cao Xueqin, Gao Gao E

Häftad, 1973

179 kr

John Milton: Introductions

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

Häftad, 1973

411 kr

Anthems for Choirs 2

Philip Ledger

328 kr

On Economic Inequality

Amartya Sen

Häftad, 1973

719 kr

Anthems for Choirs 3

Philip Ledger

328 kr

Personelle und Statistische Wahrscheinlichkeit

Wolfgang Stegmüller

Häftad, 2011

753 kr

Theoriendynamik Normale Wissenschaft und wissenschaftliche Revolutionen Methodologie der Forschungsprogramme oder epistemologische Anarchie?

Wolfgang Stegmüller

Häftad, 1985

256 kr

Kausalitätsprobleme, Determinismus und Indeterminismus Ursachen und Inus-Bedingungen Probabilistische Theorie und Kausalität

Wolfgang Stegmüller

Häftad, 1982

355 kr

Realismus und Strukturalismus. Anwendungen: Literaturtheorie. Tauschwirtschaft. Entscheidungstheorie. Neurosentheorie. Kapital- und Mehrwerttheorie

Wolfgang Stegmüller

Häftad, 1985

294 kr