元となった辞書の項目
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.)
