「Entscheidungsproblem」のコアイメージコアイメージ
複雑な対象を、各入力について二択の判定に変える問題
「Entscheidungsproblem」のドイツ語での定義ドイツ語での定義
Ein Problem, bei dem für jede mögliche Eingabe festgestellt werden soll, ob sie eine bestimmte Bedingung erfüllt oder nicht.
「Entscheidungsproblem」の語源語源
Entscheidungsproblemは、Entscheidung（決定）とProblem（問題）が組み合わさり、判定を求める問題を表す複合語
「Entscheidungsproblem」のコラムコラム
- 論理学で有名なヒルベルトのEntscheidungsproblemは、一階述語論理の式が論理的に正しいかを一般的な手順で判定できるかを問うもの