皇冠体育寻求亚洲战略合作伙伴,皇冠代理招募中,皇冠平台开放会员注册、充值、提现、电脑版下载、APP下载。

首页科技正文

USDT场外交易平台(www.usdt8.vip):90年前,哥德尔提出数学界的相对论:“不完整性定理”,还迷倒了爱因斯坦

admin2021-10-1870

欧博手机版下载

欢迎进入欧博手机版下载(www.aLLbetgame.us),欧博官网是欧博集团的官方网站。欧博官网开放Allbet注册、Allbe代理、Allbet电脑客户端、Allbet手机版下载等业务。

,

新智元报道

泉源:Reddit

编辑:yaxin

【新智元导读】1931年,哥德尔提出了「不完整性定理」,至今已有90周年。他对20世纪的科学和哲学发生了伟大的影响,是现署理论盘算机科学和人工智能理论之父。

在逻辑学中的职位,一样平常都将他与亚里士多德和莱布尼兹相比。

在数学中的职位,爱因斯坦将他的孝顺与他本人对物理学的孝顺相提并论。

他,就是奥地利裔美国著名数学家库尔特・哥德尔(Kurt G del),被誉为20世纪最伟大的数学家和逻辑学家之一。

他还被称为现署理论盘算机科学和人工智能理论之父,曾被美国《时代周刊》评为20 世纪最具影响力的100 位人物之一。

1931年,哥德尔揭晓了On Formally Undecidable Propositions of Principia Mathematica and Related Systems,文中提出了「不完整性定理」。

至今,已有90年。

这篇巨作提出的理论让数学基础研究发生跨时代的转变,成为现代逻辑史上的主要里程碑。

要知道,「不完整性定理」与塔尔斯基的形式语言和真理论,图灵机和判断问题,被赞誉为现代逻辑科学在哲学方面的三大功效。

90周年――不完整性定理

事实什么是「不完整性定理」?

在 1931 年的那项研究中,哥德尔引入了一种通用语言对随便形式化的历程举行编码。

他使用基于素数因数剖析的哥德尔编码系统。

他首先把唯一的自然数指派到在他所处置的算术的形式语言中的每个基本符号。

哥德尔证实晰,任何一个形式系统,只要包罗了简朴的初等数论形貌,而且是自洽的,它肯定包罗某些系统内所允许的方式既不能证实真也不能证伪的命题。

不完整性定理一共包罗两条:

第一定理:随便一个包罗一阶谓词逻辑与初等数论(皮亚诺算术正义)的形式系统,都存在一个命题,它在这个系统中既不能被证实为真,也不能被证实为否。

USDT场外交易平台

U交所(www.usdt8.vip),全球頂尖的USDT場外擔保交易平臺。

第二定理:任何逻辑自洽的形式系统,只要蕴涵皮亚诺算术正义,它就不能用于证实其自己的自洽性(无矛盾性)。

1935 年,阿隆佐・丘齐(Alonzo Church)通过证实 Hilbert & Ackermann 著名的 Entscheidungsproblem(判断问题)没有一个通用解决方案,推导出哥德尔效果的推论/扩展。

丘齐使用了 Untyped Lambda Calculus 的通用编码语言,这门语言组成了极具影响力的编程语言 LISP 的基础。

1936年,阿兰・图灵(Alan Turing)推出了另一个通用模子,这个模子就是最著名的「图灵机」。

图灵重新推导了上述效果。他在 1936 年的论文中同时引用了哥德尔和丘奇。

盘算机科学领域著名的「哥德尔奖」就是以哥德尔的名字命名的,以表彰那些「对盘算机领域具有恒久和重大的手艺孝顺」。

有趣的是,哥德尔本人从未获得过一个奖项,且不提他奠基了现署理论盘算机科学领域的基础,而且哥德尔还在他写给约翰・冯・诺依曼的著名信件中(1956 年)确定了最著名的开放问题「P= NP?」。

哥德尔――不完整的一生

哥德尔生于捷克的布尔诺,早年在维也纳大学攻读物理、数学,并加入哲学小组流动。

哥德尔(左二)

网上曾曝光了,哥德尔的最早文字纪录是他的小学数学演习本,约莫时间是 1912 年,那时的他才 6 岁。

8 岁时,哥德尔患上了严重的风湿性枢纽炎。

中学时期,哥德尔在数学和几何方面的才气初显,16 岁就最先阅读康德的著作。

他以为康德对他的智力生长具有塑做作用。这一时期,由于富足和很高的社会职位,哥德尔一家并没有受到一战战后重修的太大滋扰,这也为哥德尔的不停修业打好了物质基础。

哥德尔在1930年获博士学位。其博士论文证实晰「狭谓词演算的有用公式皆可证」,之后在维也纳大学事情。

1938 年到美国普林斯顿高等研究院任职,1948 年加入美国籍。1953 年成为该所教授。哥德尔生长了冯・诺伊曼和伯奈斯等人的事情,其主要孝顺在逻辑学和数学基础方面。

50 年月后,哥德尔的身体康健问题和精神问题越发严重。哥德尔晚年不信托别人做的饭菜,但太太阿黛尔也病倒了,没法照顾他。

1951年在授予哥德尔爱因斯坦勋章时,冯・诺依曼评价道,「哥德尔在现代逻辑中的成就是特殊的、不朽的――他的不朽甚至跨越了纪念碑,他是一个里程碑,是永存的纪念碑。」

参考资料:

网友评论

1条评论
  • 2021-10-18 00:15:18

    包头市国土资源局事情职员告诉红星新闻,若是挖矿职员没有拿到采矿证,则会向其下达停产通知书,并举行阻止和处罚。“若是开采量大的话,到达涉刑尺度的移送到公安机关处置。”跟童话一样啊