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

科学哲学 (10-5)

这个地方我们可以展开一下,说一个挺有意思的东西。数学上有一个定理叫哥德尔不完备定理。该定理与 塔尔斯基的 形式语言的真理论, 图灵机和判定问题,被赞誉为 现代逻辑科学在哲学方面的三大成果。

哥德尔证明了任何一个 形式系统,只要包括了简单的 初等数论描述,而且是 自洽的,它必定包含某些系统内所允许的方法既不能证明真也不能证伪的命题。

这一举粉碎了数学家两千年来的信念。他告诉我们,真与可证是两个概念。可证的一定是真的,但真的不一定可证。某种意义上,悖论的阴影将永远伴随着我们。无怪乎大数学家外尔发出这样的感叹:“上帝是存在的,因为数学无疑是相容的;魔鬼也是存在的,因为我们不能证明这种相容性。”

但是哥德尔不完全性定理的影响远远超出了数学的范围。它不仅使数学、逻辑学发生革命性的变化,引发了许多富有挑战性的问题,而且还涉及哲学、语言学和计算机科学,甚至宇宙学。2002年8月17日,著名宇宙学家霍金在北京举行的国际弦理论会议上发表了题为《哥德尔与M理论》的报告,认为建立一个单一的描述宇宙的大统一理论是不太可能的,这一推测也正是基于哥德尔不完全性定理。

有意思的是,在现今十分热门的人工智能领域,哥德尔不完全性定理是否适用也成为了人们议论的焦点。1961年,牛津大学的哲学家卢卡斯提出,根据哥德尔不完全性定理,机器不可能具有人的心智。他的观点激起了很多人反对。他们认为,哥德尔不完全性定理与机器有无心智其实没有关系,但哥德尔不完全性定理对人的限制,同样也适用于机器倒是事实

再比如意识其中关乎主观的部分是否能被解释,就是一个非常富有争议的问题,对这个问题有兴趣的同学可以去阅读一下《牛津通识读本 意识》,在那里面有更详细的阐述。

10

我们继续来说解释,事实上,不同的科学学科是为了解释不同种类的现象被划分出来的。

学科之间有一个分工:每一科都致力于解释本领域的特定现象。这就解释了为什么学科之间通常不是互相竞争的关系——例如,为什么生物学家并不担心物理学家和经济学家会侵占他们的地盘。

尽管如此,人们却普遍认为科学的不同分支在地位上并不同等:有些分支要比其他分支更为根本。物理学通常被看做所有科学中最为根本的。为什么呢?因为其他学科所研究的对象最终都是由物理微粒构成的。以生物体为例。生物体是由细胞构成的,细胞本身是由水、核酸(如DNA)、蛋白质、糖、脂类(脂肪)组成的,所有这些都是由分子或长分子链结合在一起构成的。而分子是由原子构成的,原子是物理学上的粒子。

这是否意味着物理学原则上能够包含所有更高层次的科学?既然一切都是由物理学微粒构成的,如果我们有一门完整的物理学,它可以让我们精确地预测宇宙中每一个物理微粒的行为,那么其他所有的科学就一定会变得多余吗

实际上大部分哲学家都不认同这一点。

但是有人或许会问了,一门科学所研究的实体最终是属于物理学的,怎么会无法还原为物理学呢?

即使承认高阶的科学事实上独立于物理学,这种独立又是如何可能的呢?按照一些哲学家的观点,问题的答案在于高阶科学研究的对象在物理学层面上是“被多重实现的”。

让我们举一个例子,世界上有很多烟灰缸,他们都被称为烟灰缸,但他们的物理学组成却大不相同——有些也许是由玻璃做的,另一些也许是用铝做的,还有一些可能是塑料做的,等等。它们的尺寸、形状和重量可能也是不同的。

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

相关小说

盗笔:念鱼堂 连载中
盗笔:念鱼堂
蟀鸽一玫
相传,九门之外,除去汪家,还有一大家族,金家,擅阴阳秘术,以鱼交易,行走于地上地下,行踪隐秘,少有人知金家,金家虽人丁稀少,但也有绝对势力,......
0.5万字12个月前
创神之域 连载中
创神之域
都可sama
封面有机会换
0.2万字12个月前
变成了相方的猫 连载中
变成了相方的猫
高V不会
简介正在更新
20.3万字12个月前
猪猪侠,你的马甲掉了 连载中
猪猪侠,你的马甲掉了
萧如秋
航猪cp,猪猪侠掉马甲
0.6万字12个月前
京剧猫之风雨之间 连载中
京剧猫之风雨之间
白艳
我第一次写,写的不好,见谅。
0.7万字12个月前
梦之前缘 连载中
梦之前缘
九二六
本想护你一世周全,却不想最终却辜负了你……
23.4万字12个月前