Last Updated：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.
音声機能が動作しない場合はこちらをご確認ください
See correct answer
undecidable
Edit Histories（0）
Source Word
undecidable
Adjective
not-comparable
Japanese Meaning
数学や計算理論において、有限な時間内でアルゴリズムによって解決（決定）できない性質を持つこと。 / 有限のステップで正確な判断や決定が不可能な問題や集合に対して用いられる。
Sense（1）
Sense（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.)
