decidable
In der Logik oder Mathematik: Eine Frage oder ein Problem ist durch ein Verfahren oder einen Algorithmus eindeutig lösbar.
The possibility of solving a problem or question via an algorithm.
☞ Used in the context of logic and computability theory.
-
Dieses Problem ist mathematisch entscheidbar.— This problem is mathematically decidable.
-
Ist die Frage innerhalb dieses Systems entscheidbar?— Is the question decidable within this system?
-
Die Logik ist nicht entscheidbar.— The logic is not decidable.
Синонимы
Антонимы