Unvollständigkeit und Unentscheidbarkeit

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

AvWolfgang Stegmüller

Häftad, Tyska, 1973

599 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

671 kr

Wissenschaftssprache, Signifikanz und theoretische Begriffe

Wolfgang Stegmüller

Häftad

139 kr

Beobachtungssprache, theoretische Sprache und die partielle Deutung von Theorien

Wolfgang Stegmüller

Häftad

184 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

451 kr

Entscheidungslogik

Wolfgang Stegmüller

Häftad

254 kr

Carnap II: Normative Theorie des induktiven Räsonierens

Wolfgang Stegmüller

Häftad

283 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

451 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

254 kr

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

Matthias Varga von Kibéd, Wolfgang Stegmüller

Häftad

648 kr

Structuralist View of Theories

Wolfgang Stegmüller

Häftad

1 062 kr

Du kanske också är intresserad av

Del 1

Story of the Stone (Volume I)

Cao Xueqin, Gao Gao E

Häftad

179 kr

John Milton: Introductions

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

Häftad

413 kr

Anthems for Choirs 2

Philip Ledger

306 kr

On Economic Inequality

Amartya Sen

Häftad

729 kr

Anthems for Choirs 3

Philip Ledger

306 kr

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

Wolfgang Stegmüller

Häftad

283 kr

Personelle und Statistische Wahrscheinlichkeit

Wolfgang Stegmüller

Häftad

746 kr

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

Wolfgang Stegmüller

Häftad

254 kr

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

Wolfgang Stegmüller

Häftad

352 kr

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

Wolfgang Stegmüller

Häftad

291 kr