哥德尔90年前的「不完备性定理」,奠定了估计机与AI的实际根蒂根基

大神早已远去,而他的光芒仍在人间。

哥德尔90年前的「不完备性定理」,奠定了估计机与AI的实际根蒂根基1931 年,奥地利裔美国出名数学家库尔特 · 哥德尔(Kurt Gödel)在一篇论文《Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme》中正式揭晓了不完备性定理。这一实际使数学根蒂根基研究发生了划时代的变化,更是古代逻辑史上的重要里程碑。该定理与塔尔斯基的形式语言和真实际,图灵机和判定问题,一同被赞誉为古代逻辑科学在哲学方面的三大成果。1951 年,哥德尔获得爱因斯坦勋章,冯 · 诺依曼评价说:「在古代逻辑中的成就是非凡的、不朽的——他的不朽甚至超过了纪念碑,他是一个里程碑,是永存的纪念碑。」1978 年,哥德尔在美国普林斯顿市去世,享年 71 岁。死亡报告显示,哥德尔死于「因人格障碍导致的营养不良」。今年是哥德尔不完备性定理揭晓的 90 周年,为此,Jürgen Schmidhuber 特别发文纪念哥德尔及其卓越的实际贡献。

「在 2021 年,庆祝哥德尔 1931 年开创性的论文揭晓 90 周年。这篇论文奠定了实际估计机科学和人工智能实际的根蒂根基,展示了定理说明、估计、人工智能、逻辑和数学本身的根蒂根基局限性,在学术界引起了轰动。这一研究对 20 世纪科学和哲学发展产生了巨大影响。」

库尔特 · 哥德尔被称为古代实际估计机科学和人工智能实际之父,曾被美国《时代周刊》评为 20 世纪最具影响力的 100 位人物之一。

哥德尔90年前的「不完备性定理」,奠定了估计机与AI的实际根蒂根基

不完备性定理揭晓于论文《Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme》。在 1931 年的那项研究中,哥德尔引入了一种通用语言来编码任意形式化的过程。他使用鉴于素数因数分解的哥德尔编码系统。他首先把唯一的自然数指派到在他所处理的算术的形式语言中的每个基本符号。哥德尔说明了,任何一个形式系统,只要包括了简单的初等数论描述,而且是自洽的,它必定包含某些系统内所允许的方法既不能说明真也不能证伪的命题。同时,他说明了算法定理说明、估计和任何类型的鉴于估计的 AI 都具有根蒂根基局限性(有些人误解了他的结果,认为他说明的是人类优于 AI)。1940 年代至 70 年代的大部分 AI 和定理说明有关,并且都是以哥德尔范式进行推论的,包括专家系统和逻辑编程。1935 年,阿隆佐 · 丘齐(Alonzo Church)通过说明 Hilbert & Ackermann 出名的 Entscheidungsproblem(判定问题)没有一般解决方案,推导出哥德尔结果的推论 / 扩展。丘齐使用了叫做 Untyped Lambda Calculus 的通用编码语言,这门语言构成了极具影响力的编程语言 LISP 的根蒂根基。1936 年,阿兰 · 图灵引入了另一个通用模型「图灵机」,至少在估计机领域,它是最出名的模型之一。图灵重新推导了上述结果。当然,他在 1936 年的论文中同时引用了哥德尔和丘奇。

哥德尔90年前的「不完备性定理」,奠定了估计机与AI的实际根蒂根基

阿兰 · 图灵同年,Emil Post 揭晓了另一个独立的通用估计模型,也引用了哥德尔和 Church 的研究。正是图灵的工作 (1936) 使哥德尔相信他自己的方法 (1931-34) 和丘齐 (1935) 的方法具备普遍性。实际估计机科学领域的「哥德尔奖」就是以哥德尔的名字命名的。奖金更高的图灵奖创建于 1966 年,以表彰那些「对估计机领域具有长久和重大的技术贡献」。有趣但同时也令人尴尬的是,哥德尔 (1906-1978) 本人从未获得过一个奖项,且不提他奠定了古代实际估计机科学领域的根蒂根基,而且哥德尔还在他写给约翰 · 冯 · 诺依曼的出名信件中(1956 年)确定了最出名的开放问题「P= NP?」。应该提到的是,实际应用中的「人工智能」比哥德尔对人工智能基本局限性的实际分析要古老得多。1914 年,西班牙人 Leonardo Torres y Quevedo 是 20 世纪第一个应用 AI 的先驱,当时他构建了第一个可工作的国际象棋终局棋手。几十年后,当人工智能先驱 Norbert Wiener 在 1951 年巴黎会议上与它对弈时,这台呆板依然给人们留下了深刻的印象,1951 年巴黎会议通常被视为第一个关于人工智能的会议,尽管 1956 年「人工智能」这个词才在达特茅斯(Dartmouth)学会上提出。而在 1951 年,现在被称为人工智能的大部分内容仍然被称为控制论,其重点与古代鉴于深度神经网络的人工智能非常一致。同样值得一提的是,实用「估计机」科学比哥德尔的实际估计机科学根蒂根基要古老得多。也许世界上第一台可以实际应用的可编程呆板是公元 1 世纪制造的自动化剧场。其中可编程自动机的能源是一个落锤,拉动缠绕在旋转圆柱体上的绳子。控制门和木偶的复杂指令序列由复杂的包装进行编码。公元 9 世纪,班努 · 穆萨兄弟发明了一种可以自动演奏乐曲的乐器,它使用旋转圆柱体上的销钉存储控制蒸汽驱动长笛的程序。从本质上说,这正是一台可以编程的呆板,并且带有存储程序。大约 1800 年,Joseph-Marie Jacquard 等人在法国建造了第一台商用程序控制呆板,即鉴于打孔卡的织机,也许他们算是编写世界上第一个工业软件的第一批「古代」程序员。这种呆板设计思想启发了 Ada Lovelace 和她的导师 Charles Babbage,当时他们计划但却无法构建十进制的可编程通用估计机。1941 年 Zuse 制造出世界上第一台能编程的估计机 Z3,而在 1944 年,Howard Aiken 构建了第一个通用可编程呆板十进制的马克一号(MARK I)。

哥德尔90年前的「不完备性定理」,奠定了估计机与AI的实际根蒂根基

马克一号(右面部分)哥德尔经常被称为亚里士多德以来最伟大的逻辑学家。《时代》杂志曾将他列为 20 世纪最有影响力的数学家,尽管一些数学家认为他最重要的研究成果在于逻辑和估计,而不是数学。有些人称哥德尔的实际是实际估计机科学的根蒂根基,后来实际估计机科学成为一个专门的学科。哥德尔的实际和思想激励了一代又一代的年轻人学习估计机科学。在不到一个世纪的时间里,曾经只存在于伟人脑海中的东西,如今已成为古代社会不可忽视的存在,这些科学家理应获得更多的鲜花和掌声。参考链接:https://people.idsia.ch/~juergen/goedel-1931-founder-theoretical-computer-science-AI.html

原创文章,作者:机器之心,如若转载,请注明出处:https://www.iaiol.com/news/ge-de-er-90-nian-qian-de-bu-wan-bei-xing-ding-li-dian-ding/

(0)
上一篇 2021年 6月 17日 下午5:36
下一篇 2021年 6月 18日 下午5:39

相关推荐

  • BioBit Program启动!之江实验室携手全球顶级钻研团队开展生物计较国内迷信单干

    11 月 5 日,之江实验室主办的首届生物计较国内学术会议在实验室南湖总部成功举行。会上,之江实验室发起并正式启动生物计较国内单干迷信计划(BioBit Program),携手伦敦大学、华盛顿大学、以色列理工学院等国内顶尖科研力量,共同开展生物计较创新探究钻研,赋能生命健康、新材料、环境等多规模进展。“BioBit Program 为生物计较这一新兴规模建立了一个跨越边界的科研交流单干平台,充分体现了之江实验室作为一个国内化、战略性新型研发机构的担当。我相信,BioBit Program 将在国内生物计

    2022年 11月 10日
  • 何小鹏:G9是迈向无人驾驭前的最后一代智能车

    作者 / 于雷「G9是豪华车里最智能的,智能车里最豪华的,量产车里充电最快的。智能旗舰SUV的认知,从G9开始我相信会被重新定义。」小鹏汽车CEO何小鹏在G9上市发布会表示。就在今晚(9月21日),小鹏G9正式上市,共推出6款车型,售价区间为30.99万-46.99万元。新车定位为5座中大型SUV,计划于今年10月底开始交付。同时,何小鹏还公布了G9的销量预期:明年会超过Q5的规模,达到月销连续1万辆。用「超快充」解决里程焦虑对于G9,小鹏给出的定位是「超快充全智能SUV」。作为纯电动车型,里程焦虑至今仍是限制使用

    2022年 9月 21日
  • 5份精选汇报:274家样本刻画中国企业数字化群像,近三分之一传统企业困于路径依赖

    机械之能今日精选5篇企业数字化转型调研汇报。囊括了来自各行各业的274家大、中、小企业的数字化转型情况,用真实调研描绘中国企业数字化转型群像;同时汇总了对超过1000名制作业和供应链专业人士的调查结果,并提供在整个供应链行业正发生的技术创新和由此带来的劳动力挑战的洞察;在实操方面,也指出了产业智能制作转型和服务业数字化的具体路径,可参考性强。『汇报一』企业数字化升级之路——百家企业数字化转型倒退分析汇报 数字化已经成为经济倒退的新动能。企业数字化成长已成为顺应时代潮流、响应政策号召、适应行业竞争、呼应市场

    2020年 12月 7日
  • 2021图灵奖揭晓:高机能较量争论先驱、超算TOP500榜单创始人之一Jack Dongarra获奖

    他曾说过:未来的较量争论架构会是 CPU 和 GPU 的结合。

    2022年 3月 31日
  • 从开发者日到AI开发者论坛,WAIC开发者年度盛会线下重启,共论后深度进修时代的AI走向

    立足上海,放眼全球。智联天下,无限可能。自 2018 年至 2021 年,天下人工智能大会(WAIC)已进入第四个年头。2021 年大会继续秉持「智联天下」的理念,以「众智成城」为中心,促进全球人工智能创新思想、技能、应用、人才和资本的集聚和交流,推动全球科技的创新协同,助力打造人工智能天下级产业集群。本届大会将于 7 月 7 日 – 10 日在上海举办。由天下人工智能大会组委会主办、机械之心承办的天下人工智能大会开发者日( WAIC· 开发者日),作为大会中心论坛及特色举止,是 WAIC 期间唯一面向 AI 开发

    2021年 6月 18日
  • 港中文岳翔宇老师招收人工智能全奖博士生、博士后、钻研助理、练习生

    ​新的一期博士招生正式启动!本期我们将为大家介绍香港中文大学岳翔宇老师招收人工智能全奖博士生、博士后、钻研助理、练习生的相关信息。

    2022年 9月 28日
  • 百分点大数据技术团队:数据管理“PAI”实施方法论

    编者按数据作为第五大生产要素,已逐渐成为政府和企业决策的重要手段与依据。面对数据多样化、数据需要个性化、数据应用智能化的需要,以及在2B和2G行业中数据品质参差不齐、数据应用难以发挥价值、数据资产难以积淀等问题,如何做好数据管理事务、提拔数据管理才智成为了政府和企业数字化转型的重中之重。百分点大数据技术团队基于多年的数据管理项目经验,总结了一套做好数据管理事务及提拔数据管理才智的实施方法论。近年来,推动数据管理体系建设一直是业界探索的热点,另外,《中共中央、国务院关于构建更加完善的要素市场化配置体制机制的意见》将数

    2021年 3月 10日
  • Creator 面对面 | 如何突破 AI 实践中的资源限制与壁垒?

    AI 的实际应用尚处于早期,对于大多的AI开发者来说,「从无到有」比「从有到优」要重要得多。能在有限的资源下跑通业务流程,比跑得姿态优雅要更重要,模型精度虽然是越准确越好,但当精度达到可用需求之后,精度就不再起决定性作用。

    2022年 7月 18日
  • 年轻的LeCun、吴恩达长啥样?升级版StyleGAN告诉你

    来自以色列特拉维夫大学的研讨者在天生图象方面又有了新的升级,所用格式在保留源图象身份的同时,在细节编写上实现了更精细的效验。

    2021年 6月 25日

发表回复

您的电子邮箱地址不会被公开。 必填项已用 * 标注