Eine freie Initiative von Menschen bei anthrowiki.at, anthro.world, biodyn.wiki und steiner.wiki mit online Lesekreisen, Übungsgruppen, Vorträgen ... |
Wie Sie die Entwicklung von AnthroWiki durch Ihre Spende unterstützen können, erfahren Sie hier. |
Use Google Translate for a raw translation of our pages into more than 100 languages. Please note that some mistranslations can occur due to machine translation. |
Entscheidbar
Aus AnthroWiki
(Weitergeleitet von Unentscheidbarkeit)
Eine Eigenschaft auf einer Menge heißt entscheidbar oder rekursiv ableitbar, wenn es ein Entscheidungsverfahren gibt, durch das sich für jedes Element der Menge feststellen lässt, ob es diese Eigenschaft hat oder nicht; andernfalls nennt man die Eigenschaft unentscheidbar. Das Entscheidungsproblem besteht in der Frage, ob ein geeigneter Algorithmus für das Entscheidungsverfahren gefunden werden kann.
Mathematisch wird die Entscheidbarkeit auf die Berechenbarkeit des Entscheidungsverfahrens zurückgeführt:
Eine Teilmenge einer abzählbaren Menge heißt entscheidbar, wenn ihre charakteristische Funktion definiert durch
berechenbar ist.