Advertisement

Entscheidbarkeit

  • Gottfried Vossen
  • Kurt-Ulrich Witt
Part of the Lehrbuch book series (LB)

Zusammenfassung

Nachdem wir den Begriff Berechenbarkeit formal präzisiert und festgelegt haben, wann ein Problem berechenbar ist und ein universelles Berechenbarkeitsmodell zur Verfügung steht, interessiert die Frage, ob es nicht berechenbare Probleme gibt. In diesem Kapitel zeigen wir zunächst die Existenz unentscheidbarer Probleme und geben dann konkrete unentscheidbare Probleme, auch solche von praktischem Interesse, an. Für diese Betrachtungen werden wir die Begriffe entscheidbare (rekursive) und semi-entscheidbare (rekursiv-aufzählbare) Mengen einführen und benutzen.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Fachmedien Wiesbaden 2000

Authors and Affiliations

  • Gottfried Vossen
    • 1
  • Kurt-Ulrich Witt
    • 2
  1. 1.Institut für WirtschaftsinformatikWestfälische Wilhelms-Universität MünsterMünsterDeutschland
  2. 2.Fachbereich Angewandte InformatikFachhochschule Rhein-SiegSt. AugustinDeutschland

Personalised recommendations