最終更新日：2025/11/21
(mathematics, computing theory) Incapable of being algorithmically decided in finite time. For example, a set of strings is undecidable if it is impossible to program a computer (even one with infinite memory) to determine whether or not specified strings are included.
音声機能が動作しない場合はこちらをご確認ください
正解を見る
undecidable
編集履歴（0）
元となった辞書の項目
undecidable
形容詞
比較不可
日本語の意味
数学や計算理論において、有限な時間内でアルゴリズムによって解決（決定）できない性質を持つこと。 / 有限のステップで正確な判断や決定が不可能な問題や集合に対して用いられる。
意味（1）
意味（2）
(mathematics)
(of
a
WFF)
logically
independent
from
the
axioms
of
a
given
theory;
i.e.,
that
it
can
never
be
either
proved
or
disproved
(i.e.,
have
its
negation
proved)
on
the
basis
of
the
axioms
of
the
given
theory.
(Note:
this
latter
definition
is
independent
of
any
time
bounds
or
computability
issues,
i.e.,
more
Platonic.)
