constructive logic

短语

[计] 构造性逻辑

词形变化

constructive logics 复数 constructive logics

释义与例句

n.
  1. 1.

    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.

    可数 不可数 数学 哲学