interreducibility

名詞

不可算名詞

(mathematics) The condition of being interreducible

日本語の意味

数学において、2つの対象が互いに還元可能であり、ある意味で同等の関係にある状態や性質

The interreducibility of the two logical systems was established by constructing effective translations between them.

二つの論理体系の相互還元可能性は、それらを相互に変換する有効な手続きを構成することで確立された。

意味（1）

(mathematics) The condition of being interreducible