Vor Ort
Merkzettel Warenkorb
  • Produktbild: Unvollständigkeit und Unentscheidbarkeit
  • Produktbild: Unvollständigkeit und Unentscheidbarkeit

Unvollständigkeit und Unentscheidbarkeit Die metamathematischen Resultate von Gödel, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung

59,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

ISBN

978-3-211-81208-2

Auflage

3. Auflage 1973

Erscheinungsdatum

13.12.1973

Einband

Taschenbuch

Verlag

Springer Wien

Seitenzahl

116

Maße (L/B/H)

22,9/15,2/0,8 cm

Gewicht

200 g

Sprache

Deutsch

Beschreibung

Produktdetails

ISBN

978-3-211-81208-2

Auflage

3. Auflage 1973

Erscheinungsdatum

13.12.1973

Einband

Taschenbuch

Verlag

Springer Wien

Seitenzahl

116

Maße (L/B/H)

22,9/15,2/0,8 cm

Gewicht

200 g

Sprache

Deutsch

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Kundinnen und Kunden meinen

0 Bewertungen

Informationen zu Bewertungen

Zur Abgabe einer Bewertung ist eine Anmeldung im Konto notwendig. Die Authentizität der Bewertungen wird von uns nicht überprüft. Wir behalten uns vor, Bewertungstexte, die unseren Richtlinien widersprechen, entsprechend zu kürzen oder zu löschen.

Die Bewertungen sind nach Format, Anzahl Sterne und Datum sortiert.

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kund*innen durch Ihre Meinung

Kundinnen und Kunden meinen

0 Bewertungen filtern

Weitere Artikel finden Sie in
  • Produktbild: Unvollständigkeit und Unentscheidbarkeit
  • Produktbild: Unvollständigkeit und Unentscheidbarkeit
  • 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.- 5. Allgemein-rekursive Funktionen.- 6. Der Gleichungskalkül von Kleene.- 7. Die schematische Funktionentheorie von Quine.- 8. Das Theorem von Church (nach Quine).- 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.