undecidable
決定不可能な / 決定不能な
形容詞
undecidableは、単に決められないという日常的な迷いではなく、論理的または体系的な根拠に基づいて結論を出すことが原理的に不可能であるという強い意味を持ちます。哲学的な議論や数学的な証明の文脈で使われることが多く、人間の意志による決定ではなく、システムや理論の限界によって結論が出ない状態を指します。
論理学と計算機科学における専門的な意味
コンピューター科学の分野では、ある問題に対してはいかいいえの正解を常に導き出せるアルゴリズムが存在しないことを指します。例えば、あるプログラムが永遠に走り続けるか、いつか停止するかを判定する停止問題は、代表的なundecidableな問題です。このように、計算能力の限界を示す技術的な用語として機能します。
unsolvableとの違いunsolvableが解決策が見つからないという結果に重点を置くのに対し、undecidableは判定すること自体が不可能であるという論理的な構造に重点を置きます。前者は努力や時間の不足で解決できない場合も含みますが、後者はどのような手法を用いても論理的に結論が出ないことが証明されている状態を指します。