<正> (1) G·Takeuti和W.M.Zaring的《公理化集合论导引》第2版(Introduction to Axiomatic Set Theory [2nd ed]),本书以Zermelo-......

PSD作为新型的可编程系统器件,具有可构造性强、可靠性好、使用方便的优点.本文结合HJ501型压力表自动检定系统的设计,阐述了在智......

三角数、勾股数、平方数是几个常见而重要的数,本文给出它们之间某种本质的内在联系。...

直觉主义逻辑基于数学中的直觉主义思想,主张存在即被构造,数学是逻辑学的基础。直觉主义逻辑拒斥排中律和间接证明法,认为逻辑主......

简要介绍了一阶命题演算的希尔伯特型直觉主义系统，运用逻辑演绎的方法证明了此系统的一些定理，其目的在于加深对直觉主义系统中概念......

直觉主义下数学哲学与传统数学对数学对象的概念是不同的,为此研究直觉主义下数学哲学的引申意义。直觉主义强调的是构造性数学,基......

直觉主义逻辑作为一个哲学逻辑分支在19世纪80年代产生。直觉主义逻辑基于数学中的直觉主义思想,主张存在即被构造,数学是逻辑学的......

关于广谱哲学的定义有很多,它们是从不同的视角考察的结果。这里从广谱哲学三个特点(可构造性、可广义量化性、可操作性)的角度,结......