Direkt zum Inhalt

Lexikon der Mathematik: Entscheidbarkeit

Eigenschaft einer Menge A ⊆ ℕ0, wenn deren charakteristische Funktion total berechenbar ist.

Intuitiv heißt dies, daß das der Menge A zugeordnete Entscheidungsproblem algorithmisch in endlich vielen Schritten (z. B. mit Hilfe einer Turing- Maschine oder Registermaschine) gelöst werden kann.

Lesermeinung

Wenn Sie inhaltliche Anmerkungen zu diesem Artikel haben, können Sie die Redaktion per E-Mail informieren. Wir lesen Ihre Zuschrift, bitten jedoch um Verständnis, dass wir nicht jede beantworten können.

  • Die Autoren
- Prof. Dr. Guido Walz

Partnervideos