Unvollständigkeit und Unentscheidbarkeit

Name: Unvollständigkeit und Unentscheidbarkeit
SKU: 9783211812082
Price: 809 SEK
Availability: InStock
Author: Wolfgang Stegmüller
ISBN: 9783211812082

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

Häftad, Tyska, 1973

AvWolfgang Stegmüller

809 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)

Matthias Varga von Kibéd, Wolfgang Stegmüller

Häftad, 1982

899 kr

Wissenschaftssprache, Signifikanz und theoretische Begriffe

Wolfgang Stegmüller

Häftad, 1970

189 kr

Beobachtungssprache, theoretische Sprache und die partielle Deutung von Theorien

Wolfgang Stegmüller

Häftad, 1970

249 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

609 kr

Entscheidungslogik

Wolfgang Stegmüller

Häftad, 1973

339 kr

Carnap II: Normative Theorie des induktiven Räsonierens

Wolfgang Stegmüller

Häftad, 1973

379 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

609 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

339 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

899 kr

Structuralist View of Theories

Wolfgang Stegmüller

Häftad, 1979

1 439 kr

Du kanske också är intresserad av

Del 1

Story of the Stone (Volume I)

Cao Xueqin, Gao Gao E

Häftad, 1973

249 kr

John Milton: Introductions

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

Häftad, 1973

689 kr

On Economic Inequality

Amartya Sen

Häftad, 1973

1 339 kr

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

Wolfgang Stegmüller

Häftad, 1982

379 kr

Personelle und Statistische Wahrscheinlichkeit

Wolfgang Stegmüller

Häftad, 2011

1 009 kr

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

Wolfgang Stegmüller

Häftad, 1985

339 kr

Nyhet

Threshing Day (Limited Deluxe Edition)

Rebecca Yarros

Inbunden, 2026

339 kr

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

Wolfgang Stegmüller

Häftad, 1982

479 kr

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

Wolfgang Stegmüller

Häftad, 1985

389 kr

Personelle und Statistische Wahrscheinlichkeit

Wolfgang Stegmüller

Häftad, 2011

739 kr

Unvollständigkeit und Unentscheidbarkeit

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

Häftad, Tyska, 1973

AvWolfgang Stegmüller

809 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.