constructive logic

名词 n.
中文释义

英文释义

名词 n.
  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. countable,uncountable

词形变化

constructive logics plural
0 次浏览 数据来源: Wiktionary