Advertisement

Zusammenfassung

In der Metatheorie von Theorien spielen die gelegentlich schon verwendeten Begriffe der Entscheidbarkeit und Äufzählbarkeit eine wichtige Rolle. Wir wollen sie kurz und informell erläutern; ihre präzise formale Explikation geschieht in der Rekursionstheorie, auf die wir erst in Kap. 12 eingehen werden.

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 22Deutschland

Personalised recommendations