semi-decidability

名詞

不可算名詞

(mathematics) The property of being semi-decidable.

日本語の意味

数学において、半決定可能である性質、すなわちアルゴリズムで部分的に決定できる（正確には全停止しない可能性がある）性質を指す。

To advance the proof, she examined the semi-decidability of the problem under different reduction schemes.

証明を進めるために、彼女はさまざまな還元方式の下でその問題の半決定性を調べた。

意味（1）

(mathematics) The property of being semi-decidable.