English Dictionary

constructive logic

名詞

可算名詞 不可算名詞

(logic) Any kind of logic in which any proof of existence can be converted into an algorithm that constructs the mathematical object which it claims to exist.

日本語の意味

数学的な対象が存在することを証明する際、その証明により具体的なアルゴリズムや手法が得られ、その数学的対象を実際に構成できるようになる論理体系。

In constructive logic, a proof that an object exists must provide a method to construct or algorithmically produce that object.

構成的論理では、ある対象が存在するという証明は、主張されている対象を構成する方法、すなわちそれを生成するアルゴリズムを示さなければなりません。

意味（1）

(logic) Any kind of logic in which any proof of existence can be converted into an algorithm that constructs the mathematical object which it claims to exist.

constructive logics （ plural ）