Unvollständigkeit und Unentscheidbarkeit

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

Häftad, Tyska, 1973

Av Wolfgang Stegmüller

799 kr

Beställningsvara. Skickas inom 10-15 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1973-12-13
Mått152 x 229 x 8 mm
Vikt198 g
FormatHäftad
SpråkTyska
Antal sidor116
Upplaga3
FörlagSpringer Verlag GmbH
ISBN9783211812082

Tillhör följande kategorier

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)

Teleologie, Funktionalanalyse und Selbstregulation (Kybernetik)

Matthias Varga von Kibéd, Matthias Varga Von Kibéd, Wolfgang Stegmüller

869 kr

Wissenschaftssprache, Signifikanz und theoretische Begriffe

Wissenschaftssprache, Signifikanz und theoretische Begriffe

Wolfgang Stegmüller

179 kr

Beobachtungssprache, theoretische Sprache und die partielle Deutung von Theorien

Beobachtungssprache, theoretische Sprache und die partielle Deutung von Theorien

Wolfgang Stegmüller

249 kr

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

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

Wolfgang Stegmüller

599 kr

Entscheidungslogik

Entscheidungslogik

Wolfgang Stegmüller

339 kr

Carnap II: Normative Theorie des induktiven Räsonierens

Carnap II: Normative Theorie des induktiven Räsonierens

Wolfgang Stegmüller

379 kr

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

‚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

599 kr

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

‚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, Wolfgang Stegmuller

339 kr

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

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

Matthias Varga von Kibéd, Matthias Varga Von Kibéd, Wolfgang Stegmüller

869 kr

Structuralist View of Theories

Structuralist View of Theories

Wolfgang Stegmüller

1 409 kr

Du kanske också är intresserad av

Story of the Stone (Volume I)

Del 1

Story of the Stone (Volume I)

Cao Xueqin, Cao Xueqin, Gao Gao E

229 kr

John Milton: Introductions

John Milton: Introductions

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

539 kr

On Economic Inequality

On Economic Inequality

Amartya Sen, Cambridge) Sen, Amartya, FBA (Master of Trinity College, Cambridge, Master of Trinity College, Amartya K. Sen

839 kr

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

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

Wolfgang Stegmüller

379 kr

Personelle und Statistische Wahrscheinlichkeit

Personelle und Statistische Wahrscheinlichkeit

Wolfgang Stegmüller, Wolfgang Stegmuller

989 kr

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

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

Wolfgang Stegmüller

339 kr

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

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

Wolfgang Stegmüller, Springer, Wolfgang Stegmuller

469 kr

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

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

Wolfgang Stegmüller

389 kr

Personelle und Statistische Wahrscheinlichkeit

Personelle und Statistische Wahrscheinlichkeit

Wolfgang Stegmüller

729 kr

Theorie und Erfahrung

Theorie und Erfahrung

Wolfgang Stegmüller

599 kr