provability

「provability」の例文例文

Researchers studied the provability of the conjecture within the new formal system.

研究者たちは新しい形式体系内でその予想の証明可能性を研究した。

「provability」のコアイメージコアイメージ

形式体系の枠内で命題が証明できるかどうかを示す証明可能性

「provability」の英英英英

The condition or state of being provable, especially whether a conjecture or theorem can be established by a specified formal proof system.

「provability」の語源語源

provabilityは、動詞proveの語幹に能力を示す接尾辞-abilityが結び付いてできた語で、文字どおり『証明できること』を表す。

「provability」のコラムコラム

• 文脈によってはprovabilityは法的な立証可能性を指すことがあり数学的な証明可能性と区別して理解する必要がある

単語を報告