数学联邦政治世界观
超小超大

唯物主义和康托尔思想(二) (2-1)

事实上,计算的发现已经改变了我们对抽象对象如何在机械设备中实现的理解,或者换一种说法,抽象对象如何简化为物理过程。因此,将现实主义应用于数学对象可能并不像以前看起来那么神秘。

柏拉图主义者在捍卫其实在论时,也会指出数学在科学中的不合理有效性,尤其是实数微积分。这是一种非常成功的形式主义,具有巨大的实际影响,但却充满了无限序列的极限。

也许同样的道理也适用于更高的无限性。它们可能是部分可观察的,但无论如何,它们都是真实存在的实体,由与我们当前的物质实践间接相关的理论所假设。

由于康托的高阶无穷是理论的术语,因此我们也可以对其进行符号计算。因此我们可以编写 Mathematica 程序来操纵高阶无穷。当然,操纵声称指代难以想象的巨大物体的符号是一种奇怪的感觉,尽管如此,除了符号的形式化、纯粹的句法转换之外,似乎没有其他可辨别的后果。

唯物主义者的关键问题

那么,这似乎是一个关键问题:康托的理论有任何实际后果吗?这些符号能与某种成功的实践联系起来吗?

截至目前,尚无实际应用的例子。

物理学家罗杰·彭罗斯指出,几乎所有的物理理论都只要求无穷大的大小等于实数。甚至高维向量空间的大小也恰好与实数轴的大小相同。

由于我们几乎可以肯定地用可计算实数来重新表述所有这些理论,因此物理学似乎只需要一种类型的无穷大——普通的无穷大。

但还有其他方法可以衡量实际成功。逻辑学家和柏拉图主义者库尔特·哥德尔 (Kurt Godel) 建议,应该根据康托尔理论在数学本身中的解释力来判断它。例如,我们可以用康托尔理论为已经建立的定理提供更简单的证明。更简单的证明往往能产生更多的见解。

事实上,大量的数学理论都是建立在康托理论之上的。因此,康托理论至少在数学领域并不是一条死路。

尽管如此,康托的高阶无穷,尤其是与微积分的发明或复数理论相比时,似乎特别缺乏实际意义。

一个实际的实验

在科学领域,我们最终会根据实际的成功程度来决定是事实还是虚构。引用马克思的话:

人的思维是否具有客观真理性,不是一个理论问题,而是一个实践问题。人的思维的真理性,即思维的现实性和力量性,是必须在实践中去证明的。脱离实践的思维的现实性与非现实性的争论,是一个纯粹的经院哲学问题。

那么,未来的实践将如何引导我们决定更高无穷大的地位呢?这是一个很难回答的问题,我无法回答。

但我们可以提出一些有启发性的观察。康托尔的高等无穷给出了不可计算函数存在的一个非常简单的证明。不可计算函数是那些无法以任何已知方式机械化的函数。例如,我们知道不可能构建一个算法来决定任何给定的一组图块是否会镶嵌平面。

因此,相当引人注目的是,柏拉图式的更高无穷大的存在直接意味着计算机因果能力的根本极限。

但同样引人注目的是,更高无穷大的物理存在意味着我们可以超越这些限制,并构建超级计算机。一小部分理论家提出了各种超级计算机的设计,从理论上讲,这些超级计算机有能力解决无法计算的问题。然而,仔细观察,它们的因果能力总是来自某种隐藏的实际无穷大,例如对无限精度实数执行运算。

但就我们所知,物理现实无法在有限的空间中存储无限量的信息。因此,超级计算机仍是一个复杂的虚构,因为它们无法被物理构建。

因此,证明更高无穷大真实性的一种方法是建造一台超级计算机。但截至目前,这一前景似乎十分渺茫。

更高无限性的社会功能

数学联邦政治世界观提示您:看后求收藏(同人小说网http://tongren.me),接着再看更方便。

相关小说

迷之世界 连载中
迷之世界
桉远惗
这是我睡觉时做的梦
0.1万字6个月前
篡改记忆 连载中
篡改记忆
白菜不菜_
如果说为了你我可以改掉自己的记忆毁掉自己的话,你会后悔吗……江澈,你不曾后悔,对吧世界处于阳光之下,到我感受不到温暖,看来我又忘了,你还在爱......
2.2万字6个月前
快穿之黑化合集 连载中
快穿之黑化合集
逗比的小仙女
各种黑化少年大甩卖,不要99只要9毛9,买不了吃亏,买不了上当。总有一款是你喜欢的。【短篇爱情】温柔姐姐X偏执弟弟活泼青梅X黑化竹马高冷师傳......
5.6万字6个月前
快穿宿主哪里逃 连载中
快穿宿主哪里逃
芙茶
 当——  高冷帝王,崩坏了……  腹黑竹马,跑没了……  纯情总裁,自杀了……  那些脑残校草,妖孽教主……  还可靠吗?  某人欲哭无泪......
12.9万字6个月前
我有一座小镇,连接诸天 连载中
我有一座小镇,连接诸天
姝纾
我的小镇,连接着诸天万界,发生着许多不可思议的故事。
7.3万字6个月前
穿书后,女配只想苟活 连载中
穿书后,女配只想苟活
千月妖妖
【连载中】【穿越+无金手指+修罗场+多男主+无固定cp+非1v1+非双洁】【简介】意外穿越,谢笙笙穿到自己重来没看过的小说中,靠着身体原主的......
4.7万字6个月前