「Entscheidbarkeit」のコアイメージコアイメージ
どんな入力でも、有限の手順をたどれば答えを確定できる性質
「Entscheidbarkeit」のドイツ語での定義ドイツ語での定義
Die Eigenschaft eines Problems, dass für jede Eingabe ein Verfahren nach endlich vielen Schritten eine richtige Antwort bestimmt.
「Entscheidbarkeit」の語源語源
Entscheidbarkeitは、まず entscheiden から entscheidbar が生まれ、そこに性質を表す-keitが付いた名詞
「Entscheidbarkeit」のコラムコラム
- Entscheidbarkeitは一つの計算例が解けることではなく、問題のすべての入力を判定できることに関わる語