数学构成主义

✍ dations ◷ 2025-04-02 11:29:45 #数学哲学

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

相关

环境监测作业环境监测是通过对人类和环境有影响的各种物质的含量、排放量的检测，跟踪环境质量的变化，确定环境质量水平，为环境管理、污染治理等工作提供基础和保证。简单地说，了解环境水
豆目豆目（学名：Fabales）是真双子叶植物蔷薇类植物之下豆类植物的一个目。在克朗奎斯特分类法中，豆目只包括豆科一科，2009年的被子植物APG III分类法采用的豆目内包括的分类群有四个科
街机街机（英语：Arcade game，又称大型电玩，在台湾俗称机台）是放置于公共娱乐场所或电子游乐场营业用的游戏机，最早的街机雏型于1971年诞生于美国的电脑实验室中，当时常放置于酒吧内。在
于尔班·勒维耶奥本·尚·约瑟夫·勒维耶（法语：Urbain Jean Joseph Le Verrier，1811年3月11日－1877年9月23日），法国数学家、天文学家。主要贡献是计算出海王星的轨道，根据其计算，柏林天文台的德国
无文土器无文土器时代（韩语：무문토기 시대）或无文陶器时代是朝鲜以及中国东北边疆史前时代的一个考古时期，相当于朝鲜新石器时代晚期至朝鲜青铜器时代早期，约前15世纪至前3世纪。是中国东
23府二十三府制是朝鲜王朝末年的1895年7月18日（高宗32年闰五月二十六日）开始实行的新行政区划制度。这个新的制度把全国分成23个府，并设立观察使，用来取代过去一直沿用的朝鲜八道。
电通电通（日语：電通／でんつう Dentsū */?）是当今日本第一大以及世界最大单一广告公司，总部位于东京汐留，并在多个国家设有据点。日本五大民营电视台之一的TBS电视也与其有密切关系
元首行省罗马帝国的的历史上，行省的划分一直在变化，在奥古斯都统治期间，他在凯撒的基础上，行省被划分为元首行省和元老院行省，其中元首行省又称皇帝行省，由罗马皇帝指派总督进行统治。其通
郭晓东郭晓东（1974年12月18日－），原名郭晓冬、郭广习，山东莒南县人，中国大陆男演员，毕业于北京电影学院（96级本科）。妻子程莉莎，哥哥郭晓峰，均是演员。郭晓东高中毕业从沂蒙山区走出来，在考上北
藨草属藨草属（学名：Scirpus）是莎草科下的一个属，为簇生或散生草本植物。该属共有约200种，分布于全世界。中国产37种、3杂种及一些变种，广布于全国。