Unentscheidbarkeit

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Eigenschaft eines Entscheidungsproblems, dass es keinen Algorithmus im gewählten Rechenmodell gibt, der für jede Eingabe stets terminiert und die Zugehörigkeit korrekt entscheidet.