可构造性相关论文
直觉主义逻辑基于数学中的直觉主义思想,主张存在即被构造,数学是逻辑学的基础。直觉主义逻辑拒斥排中律和间接证明法,认为逻辑主......
简要介绍了一阶命题演算的希尔伯特型直觉主义系统，运用逻辑演绎的方法证明了此系统的一些定理，其目的在于加深对直觉主义系统中概念......
直觉主义下数学哲学与传统数学对数学对象的概念是不同的,为此研究直觉主义下数学哲学的引申意义。直觉主义强调的是构造性数学,基......
直觉主义逻辑作为一个哲学逻辑分支在19世纪80年代产生。直觉主义逻辑基于数学中的直觉主义思想,主张存在即被构造,数学是逻辑学的......
关于广谱哲学的定义有很多,它们是从不同的视角考察的结果。这里从广谱哲学三个特点(可构造性、可广义量化性、可操作性)的角度,结......
