来源:爱思想

转自:人机与认知实验室 

作者:史蒂芬·霍金  英国剑桥大学著名物理学家,现代最伟大的物理学家之一

译者:凌高

【感谢陈禹老师:"冯·诺依曼说过,没有明确的概念,量得分析是毫无意义的。"】

本次演讲中,我(霍金)想问的是,我们在追求理解和知识方面能走多远:我们是否能最终发现一套完备形式的自然规律?我所说的完备形式是指一套规则,这些规则至少原则上可使我们任意精确地预测未来,了解任一时刻宇宙的状态。

决定论流传久远

从亚里士多德往后,哲学家和科学家都一直只是定性地认识规律。牛顿在1687年发表了包含其万有引力理论的《自然哲学数学原理》,正是牛顿的这一著作使人们开始来定量和精确地认识规律。这导致了“科学决定论”思想,这种思想大概是由拉普拉斯最先表达的。如果在某一时刻,一个人知道宇宙中所有粒子的位置和速度,那么根据科学规律我们就能计算得出它们在任何其它时刻的位置和速度,无论是过去还是未来。

爱因斯坦认为上帝不会掷骰子

20世纪初期,一系列的科学发现诸如放射性原子的衰减似乎是随机发生的,使决定论思想濒于破产,用爱因斯坦的语言来说,似乎是“上帝在掷骰子”。不过,科学界通过重新定义什么是对宇宙的完整理解及更改目标,重新挽救了决定论。这主要是狄拉克的贡献。

狄拉克表明,薛定谔和海森堡的工作可以整合到对实在进行描述的新图景——量子理论中。在量子理论中,一个粒子不是像在经典牛顿理论中那样用位置和速度两个量来描述,而是用单一量——波函数来描述。

打了折的决定论

波函数给出粒子可能在某一点出现的概率和从一个点到另一个点之间运动速度变化的概率,人们可以在波函数中求解到精确的位置或者精确的速度,但不能同时确定两者。乍看这似乎是使完整的决定论变得不可能。

因为人们不能同时精确地知道粒子在某一时刻的位置和速度,怎么能预测其未来状况呢?但是在量子理论中,人们不需要同时知道位置和速度两个量。如果一个人知道物理规律及某一时刻的波函数,那他就可用薛定谔方程计算出该波函数随时间变化有多快,进而计算出任何其它时刻的波函数。

人们因此可以宣称这还是一种决定论,不过这种决定论是一种打了折的决定论。因为人们不能精确地预测位置和速度这两个量,而只能预测波函数一个量。我们得到的是一种被重新定义的决定论,刚好是拉普拉斯所设想的决定论的一半。

为了计算出波函数如何随时间变化,人们需要了解在整个宇宙都成立的量子规律。因此问题是,我们对这样的规律知道多少?

没有理论能预测未来

尽管量子理论以及涉及电磁力的麦克斯韦方程的确适用于绝大部分领域,但还有两个重要的领域在其适用范围之外,一个是核力,一个是引力。核力决定了太阳发光、元素的形成,而引力导致了恒星和行星乃至宇宙本身的形成。所以,为了完整地理解宇宙,至少能够原则上精确地预测各种事物,需要把这些方面都统一起来。

弱核力已与麦克斯韦方程统一起来,形成电弱统一理论。对强核力,则由另一种不同的理论——称为QCD——加以描述。电弱统一理论和QCD理论加在一起就组成粒子物理学的所谓“标准模型”,其目标是描述除引力外的所有事物。

尽管标准模型在一切实际用途中都已足够用,但科学家们仍然在孜孜寻求,试图阐发出可以适用于整个宇宙的完备理论。这种追求的动力不在于经济原因。从伽利略以来,没有任何一个科学家是为了金钱而进行基本理论研究的。我们寻求一个完备理论的真正原因是我们想理解宇宙,我们觉得我们不只是黑暗而神秘力量的牺牲品。如果我们认识了宇宙,那么我们就可在某种意义上控制它。而现在的标准模型很清楚不能满足这个要求。

如果我们要理解宇宙的话,就必须有一个完全协调一致的量子引力理论。在过去30多年间,构建量子引力理论成了理论物理学界的最重大问题。但是这非常困难。

M-理论中的空间结构

从1985年以来,我们就认识到超引力和超弦理论都属于一个更大结构,即M-理论,而M-理论不是一种通常意义上的理论,而是一系列理论的集合。该集合中的每一理论在限制条件如低能量或低辐射情况下都成立,但是超出这限制条件就不适用了。这意味着它们中没有任何一个理论能够精确地预测宇宙的未来。

我们不是天使

直至目前,大多数人都含蓄地假定存在一种终极理论,我们最终能够发现它。事实上,我本人就曾说过我们会很快找到这个理论。但是M-理论让我怀疑这是否是真的。也许要以有限数量的命题来阐述宇宙终极理论是不可能的。这和哥德尔不完备性定理非常相似,该定理说任何有限公理系统都不足以证明其中的每一个数学命题。

哥德尔

哥德尔定理和我们是否能以有限数量的原理构建宇宙终极理论有什么关系呢?一个联系是明显的。根据实证论科学哲学,一个物理理论乃是一数学模型。因此如果有数学命题不能证明的话,那就有物理问题不能预测。

在标准的实证论科学哲学看来,物理理论无偿居住于柏拉图式理想数学模型天国中。也就是说,一个模型可以任意程度地详细,可以包含任意多量的信息,而不会影响它们所描述的宇宙本身。但我们不是天使,可以从外面观察宇宙。

相反,我们和我们的模型两者都是我们所描述的宇宙中的组成部分,因此一个物理理论是自指的,就像哥德尔定理所说的那样。人们因此可以认为它或者是不一致的,或者是不完备的。我们迄今所有的各种物理理论既是不一致的,也是不完备的。

如果不存在一种可从有限条数原理推导出来的终极理论,一些人将非常失望。我过去就属于这个阵营。但是我已改变了我的看法。现在我很高兴我们寻求知识的努力永远都不会到达终点,我们始终都有获得新发现的挑战。没有这种挑战,我们就会停滞。哥德尔定理保证了数学家们总有事情要做,我想M-理论也将为物理学家们做同样的事情。(完)

(图片来自网络)

未来智能实验室的主要工作包括:建立AI智能系统智商评测体系,开展世界人工智能智商评测;开展互联网(城市)大脑研究计划,构建互联网(城市)大脑技术和企业图谱,为提升企业,行业与城市的智能水平服务。每日推荐范围未来科技发展趋势的学习型文章。目前线上平台已收藏上千篇精华前沿科技文章和报告。

  如果您对实验室的研究感兴趣,欢迎加入未来智能实验室线上平台。扫描以下二维码或点击本文左下角“阅读原文”

霍金 | 哥德尔和物理学的终结相关推荐

  1. 霍金演讲摘要 哥德尔和物理学的终结

    霍金演讲摘要 哥德尔和物理学的终结 NEWS.SOHU.COM 2004年08月15日13:12 来源:国际先驱导报 国际先驱导报文章本次演讲中,我想问的是,我们在追求理解和知识方面能走多远:我们是否 ...

  2. 霍金:哥德尔和物理学的终结

    [感谢陈禹老师:"冯诺依曼说过,没有明确的概念,量得分析是毫无意义的."] 译:凌高 本文作者史蒂芬霍金 本次演讲中,我(霍金)想问的是,我们在追求理解和知识方面能走多远:我们是否 ...

  3. 世界的意义在于事与愿违|哥德尔

    原载<科学时报>2008 库尔特·哥德尔,美籍捷克人,于1906年4月28日出生于布尔诺.其父鲁道夫·哥德尔从事纺织业,由于其出色的能力,最后成为雷德利希大工厂的股东和经理.其母玛丽安娜多 ...

  4. “AI理论之父应该是哥德尔”,LSTM之父再抛惊人观点,网友:他有点走火入魔...

    晓查 发自 凹非寺  量子位 报道 | 公众号 QbitAI LSTM之父又发新博文了. 这位Jürgen Schmidhuber,几乎每隔一段时间就出来回顾AI历史,抛出一些极具争议的观点,这次也不 ...

  5. 哥德尔:伟大的数学家与饱受精神疾病折磨的患者

    来源:下文节选自中信出版鹦鹉螺<哥德尔传>,[遇见]已获发布授权,补充部分配图 时间回到 1970 年 3 月.一位精神科医生在泛黄的笔记本上奋笔疾书,记录着诊疗中的发现,有的稀松平常,有 ...

  6. “哥德尔不完备定理”到底说了些什么?

    [编者按:不知为何?一直不相信已有的数理.物理.生理.心理.管理--能够研究好人机融合智能系统.究其因,需要出现新的数/物/心理逻辑和哥德尔.有些经典是偶然的,但有些经典却是必然的.美,不一定是漂亮( ...

  7. 哥德尔不完备定理”到底说了些什么?

    来源:人机与认知实验室 (一) [中文网上深入介绍哥德尔不完备定理的文章很少,我这篇文章写得很长,花了不少时间打磨它,希望能帮助到爱好数学与逻辑的人.文章把理解哥德尔不完备定理分为了五重,建议只是想初 ...

  8. 理性的光辉,“哥德尔不完备定理”到底说了些什么?

    关注:决策智能与机器学习,聚焦AI干货 编者按:智能技术要在理论研究方面必须要解决非线性现象的可建模机理与规律,其中哥德尔不完备定理不容忽视,哥德尔不完备定理.塔尔斯基形式语言真理论,图灵机和判定问题 ...

  9. 【计算理论】图灵机 ( 图灵机引入 | 公理化 | 希尔伯特纲领 | 哥德尔不完备定理 | 原始递归函数 )

    文章目录 一.图灵机引入 二.公理化 三.希尔伯特纲领 四.哥德尔不完备定理 五.哥德尔 原始递归函数 一.图灵机引入 计算理论分为 形式语言与自动机 , 可计算部分 , 计算复杂性部分 ; 之前博客 ...

最新文章

  1. 项目管理必知的7个重点
  2. Silverlight4实现三维企业网站
  3. rabbitmqctl status报错
  4. VIBE复现过程,使用nvidia和libOpenGL.so渲染出错及解决方案
  5. python写web自动化_Web接口开发与自动化测试——基于Python语言
  6. Java IO篇:什么是 Reactor 网络模型?
  7. C语言实现了一个具有头结点的单链表(附完整源码)
  8. [maven] springboot将jar包打包到指定目录
  9. 【CodeForces - 312C】The Closest Pair (思维)
  10. Dubbo学习笔记002---安装Zookeeper_并且安装Dubbo的管理控制台
  11. lg空调代码大全解决_LG空调故障代码大全-kg空调维修-lg空调维修手册
  12. MySQL for Excel的安装教程
  13. 软件测试面试题(面试前准备篇)
  14. 5基于matplotlib的python数据可视化——导入Excel数据制作折线图
  15. Base64加密和解密使用
  16. 张俊 中国科技大学 计算机,张俊-中国科学院大学-UCAS
  17. InfluxDB入门系列教程④ InfluxDB Studio可视化数据库管理工具
  18. 系统之家U盘 win10返回桌面快捷键是什么
  19. Qt 精美的button合集
  20. 第三届“尖货市场”评选开启:头部企业级应用“买手团”搭台 十家优选服务商唱戏...

热门文章

  1. 区块链相关论文研读4: Monoxide异步共识组
  2. 独家 | 每个数据科学家应该知道的五种检测异常值的方法(附Python代码)
  3. 柳叶刀新文 | 利用统计模型与大数据探寻人口流动与新冠传播的潜在联系
  4. 世界欠他一个图灵奖! LSTM之父的深度学习“奇迹之年”
  5. 大满贯!清华学生超算团队获得国际大学生超级计算机竞赛(SC18)总冠军(附现场视频)...
  6. Reddit年度盘点:那些2019年最佳机器学习项目
  7. 【卷积神经网络结构专题】ResNet及其变体的结构梳理、有效性分析
  8. 【CV中的注意力机制】史上最强ResNet变体--ResNeSt
  9. CVPR 2020 | 腾讯优图17篇论文入选,含类比学习、人脸识别、物体检测、行人重识别等领域...
  10. SAP MM 移动平均价的商品发票价格和采购订单价格差异的处理