Advertisement

Unvollständigkeit und Unentscheidbarkeit

  • Wolfgang Stegmüller
  • Matthias Varga von Kibéd
Chapter
Part of the Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie book series (STEGMUELLER, volume 3)

Zusammenfassung

Im vorliegenden Kapitel wird die Unentscheidbarkeit (im Sinne von Church ) und die Unvollständigkeit (im Sinne von Gödel ) für eine bestimmte Theorie erster Stufe, nämlich für ein Fragment der Zahlentheorie N, gezeigt. Diese Theorie N wurde erstmals von Shoenfield in [1], Kap. 6, zur Grundlage für den Nachweis der Theoreme von Gödel und Church verwendet.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1984

Authors and Affiliations

  • Wolfgang Stegmüller
    • 1
  • Matthias Varga von Kibéd
    • 1
  1. 1.Seminar für Philosophie, Logik und WissenschaftstheorieUniversität MünchenMünchen 22Germany

Personalised recommendations