(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 logic
構成的論理では、ある対象が存在するという証明は、主張されている対象を構成する方法、すなわちそれを生成するアルゴリズムを示さなければなりません。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
