数学构成主义

✍ dations ◷ 2025-04-03 12:33:26 #数学哲学

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

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

构造主义者的数学使用构造性逻辑,该逻辑将真实性和证明等同起来。要构造性的证明 P Q {\displaystyle P\lor Q} ,我们必须证明 P {\displaystyle P} Q {\displaystyle Q} ,或两者同时成立。要构造式的证明 x X P ( x ) {\displaystyle \exists _{x\in X}P(x)} ,我们必须给出一个特定的 a X {\displaystyle a\in X} 和一个 P ( a ) {\displaystyle P(a)} 的证明。要构造式的证明 x X P ( x ) {\displaystyle \forall _{x\in X}P(x)} ,我们必须给出一个算法,它对于每个 a X {\displaystyle a\in X} 输出一个 P ( a ) {\displaystyle P(a)} 的证明。

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

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

作为替换,我们把实数表示为一个算法 f {\displaystyle f} ,它取一个正整数 n {\displaystyle n} 然后输出一对有理数 ( f ( n ) , f r ( n ) ) {\displaystyle (f_{\ell }(n),f_{r}(n))} 使得

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

在这个定义下,实数 2 {\displaystyle {\sqrt {2}}} 可以用一个算法表示,它对于每个 0 i n {\displaystyle 0\leq i\leq n} 计算出最大的整数 a i {\displaystyle a_{i}} 使得 a i 2 2 i 2 {\displaystyle a_{i}^{2}\leq 2i^{2}} 然后输出 ( m a x { a i i } , m i n { a i + 1 i } ) {\displaystyle \left(\mathrm {max} \left\{{a_{i} \over i}\right\},\mathrm {min} \left\{{a_{i}+1 \over i}\right\}\right)}

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

注意构造性要求使得上述定义和通常非构造主义的实数定义不相容:因为每个算法 ξ {\displaystyle \xi } 必须是一个有限指令集 Σ {\displaystyle \Sigma } 上的有限序列,存在一个双射函数 f : Σ N {\displaystyle f:\Sigma ^{*}\rightarrow \mathbb {N} } 。所以所有算法的集合和所有自然数的集合有同样的基数。当使用一个非构造式的定义时,康托对角线论证证明实数比自然数有更高的基数。

传统上,数学家对于数学构造主义曾经持怀疑态度,如果不是完全反对的话,很大程度上这是因为它对构造分析的限制.

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

Errett Bishop(英语:Errett Bishop),在他1967年的著作《构造性分析学基础》(Foundations of Constructive Analysis)中,作了很多驱散这种恐怖,他的办法是用构造性的框架中发展出传统的分析学的大部分.

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

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

相关

  • 性高潮后病情综合征性高潮后病情综合征(英语:Postorgasmic illness syndrome,POIS)是一种罕见的病症,特征为性高潮后持续数小时至数天的虚弱症状。该现象在2002年首次获医学文献所记载。症状通常出
  • 苯佐卡因苯佐卡因(Benzocaine),又称“阿奈斯台辛”(Anaesthesine),学名对氨基苯甲酸乙酯。无色或白色斜方结晶粉末。无臭,味微苦,后有麻醉感。遇光逐渐变色。难溶于水,微溶于脂肪油,溶于稀酸、
  • 国家政策研究基金会财团法人国家政策研究基金会(简称国政基金会)是一个中华民国台湾智库,原为1993年连战担任行政院院长时以个人名义成立之私人智囊机构,后于2000年7月29日扩大为中国国民党的智库:
  • 希帕提娅希帕提娅(古希腊语:Ὑπατία,生于约350年-370年之间,死于415年3月),又译作海芭夏、海帕西娅,著名的希腊化古埃及新柏拉图主义学者,是当时名重一时、广受欢迎的女性哲学家、数学家
  • 疏水在化学里,疏水性指的是一个分子与水互相排斥的物理性质。这种分子称为疏水物。疏水性分子偏向于非极性,并因此较会溶解在中性和非极性溶液(如有机溶剂)。疏水性分子在水里通常会
  • 苏维埃俄国苏维埃俄国(俄语:Советская Россия),简称苏俄(CP),一般指1917年11月7日十月革命后至1922年12月30日苏维埃社会主义共和国联盟成立前的俄国。俄罗斯苏维埃联邦社会主
  • 洪茂椿洪茂椿(1953年9月17日-),中国无机化学家。生于福建莆田。1978年毕业于福州大学化学系。1981年获中国科学院福建物质结构研究所硕士学位。日本名古屋大学博士。中国科学院福建物
  • 输卵管结扎术输卵管结扎(Tubal ligation或tubectomy),也称为输卵管切除术或是女性结扎,是针对女性的两个输卵管进行的避孕手术,可能是将输卵管夹紧和阻住,或是破坏输卵管的一小段并且封合一端(
  • 帕赫贝尔约翰·帕赫贝尔(德语:Johann Pachelbel,1653年9月1日-1706年3月3日),德国巴洛克时期作曲家、管风琴家,先后曾在许多地方担任过管风琴师的职位。帕赫贝尔在西洋音乐史上经常被忽略,他
  • 柬埔寨内战柬埔寨民族统一阵线:第二次第三次(英语:Third Indochina War)柬埔寨内战发生于柬埔寨境内,是柬埔寨共产党(被称为红色高棉)、越南民主共和国及越南南方民族解放阵线联合对抗美国和