数学构成主义

在数学哲学中，构成主义或构造主义认为要证明一个数学对象存在就必须把它构造出来。如果假设一个对象不存在，并从该假设推导出一个矛盾，对于构成主义者来说，不足以证明该对象存在。（构造性证明）

构成主义常常和直觉主义混淆，实际上，直觉主义只是构成主义的一种。直觉主义强调数学的基础建立在数学家们个人的直觉上，这样就把数学在本质上作为一种主观活动。构成主义不这样强调，并和对数学的客观看法保持一致。

 构造主义数学 
构造主义者的数学使用构造性逻辑，该逻辑将真实性和证明等同起来。要构造性的证明，我们必须证明或，或两者同时成立。要构造式的证明，我们必须给出一个特定的和一个的证明。要构造式的证明，我们必须给出一个算法，它对于每个输出一个的证明。

构造主义同时拒绝采用无穷对象，例如无穷集合和序列。

 实分析中的例子 
在经典实分析中，实数构造的方法之一是把它作为有理数的柯西列对。这个构造在构造主义数学中不成立，因为序列是无穷的。

作为替换，我们把实数表示为一个算法，它取一个正整数然后输出一对有理数使得

使得当增大，区间变小，而前个这种区间的交不空。我们使用来计算它所表示的实数的任何精度的有理数近似。

在这个定义下，实数可以用一个算法表示，它对于每个计算出最大的整数使得然后输出。

这个定义和采用柯西列的经典定义相关，除了要求序列是构造式的：也就是说，我们有个计算第个序列中的元素的算法，所以有一个计算任意精确的对的有理数近似的算法。

注意构造性要求使得上述定义和通常非构造主义的实数定义不相容：因为每个算法必须是一个有限指令集上的有限序列，存在一个双射函数。所以所有算法的集合和所有自然数的集合有同样的基数。当使用一个非构造式的定义时，康托对角线论证证明实数比自然数有更高的基数。

 数学家们的态度 
传统上，数学家对于数学构造主义曾经持怀疑甚至反对态度，很大程度上是因为它对构造分析的限制。

这些观点希尔伯特在1928年曾有强烈表示。他在《数学基础》（）写道：“把排中律从数学家那里拿走，就像把望远镜从天文学家那里拿走，或是从拳击手那里把拳头拿走一样”
（排中律在构造性逻辑中不成立）。

，在他1967年的著作《构造性分析学基础》（）中，作了很多驱散这种恐怖，他的办法是用构造性的框架中发展出大部分传统的分析学。

但是，並不是所有数学家都认为Bishop非常成功，因为他的书比经典分析教科书更复杂。

无论如何，多数数学家不认为应该把自己限制到构造主义方式，甚至当可以这样做的時候。

 对构成主义有贡献的数学家 
 克罗内克（Leopold Kronecker）
 L.E.J. Brouwer
 保罗·洛伦岑
 Errett Bishop

 分支 
 构造性逻辑
 构造主义类型理论
 构造主义分析
 可计算性逻辑

参见
 数学直觉主义
 直觉主义类型理论
 有限主义
 博弈语义学
 构造性证明

参考来源

外部链接
 可计算逻辑主页

Category:數學哲學