当前位置：学术参考网 > 哥德尔1931论文英文版
著名的“哥德尔不完全性定理”是在其论文《论数学原理及相关系统的形式上不可判定的命题I》（OnFormallyUndecidablePropositionsofPrincipiaMathematicaandRelatedSystemsI）中提出的，该论文于1930年11月17日提交，最初以德文发表在1931年的《数学月刊》上，现有几个英文译本。
「在2021年，庆祝哥德尔1931年开创性的论文发表90周年。这篇论文奠定了理论计算机科学和人工智能理论的基础，展示了定理证明、计算、人工智能、逻辑和数学本身的基础局限性，在学术界引起了轰动。这一研究对20世纪科学和哲学发展产生了巨大
早在1931年，这位理论计算机科学的创始人就展示了数学、逻辑、计算和人工智能的局限性。.库尔特·哥德尔.Schmidhuber还在文中给予了哥德尔极高的评价——AI理论之父。.他认为哥德尔确定了定理证明、计算、人工智能、逻辑和数学本身的基本局限性，对20...
高山的疯.文以载道诗言志.哥德尔定理是数理逻辑中的一个定理,1931年奥地利逻辑、数学家克尔特.哥德尔(KurtGodel)发现并证明的,这个定理彻底粉碎了希尔伯特的形式主….继续浏览内容.知乎.发现更大的世界.打开.浏览器.继续.
哥德尔哥德尔于1906年出生在奥匈帝国的布鲁恩镇——现在的捷克共和国布尔诺市。他于1924年毕业于布鲁恩的体育学院，然后在维也纳大学学习物理、数学和哲学。1929年，他以一篇精彩的论文获得了数学博士学位，并继续在维也纳大学工作，直到他前往
目录：1、不完备定理的内容2、不完备定理的证明1.哥德尔不完备定理的内容——它为什么惊人不完备定理的内容很容易理解。有很多版本。我说一个最简单的。“对任何关于自然数结构的有限个公理，存在一个关于自然数的命题，是真的，但不…
自然，哥德尔的目光是不会仅仅局限于此的。在完成博士论文之后，哥德尔便着手探索更一般的数学系统。一年后，也就是1931年，他对算术系统的探索即告胜利。这个胜利，也就是希尔伯特计划的失败。他的结论，就是哥德尔不完备性定理，一共有两个。
哥德尔90年前的「不完备性定理」，奠定了计算机与AI的理论基础.大神早已远去，而他的光芒仍在人间。.1931年，奥地利裔美国著名数学家库尔特·哥德尔（KurtGödel）在一篇论文《ÜberformalunentscheidbareSätzederPrincipiaMathematicaundverwandterSysteme》中正式发表了...
那么，哥德尔究竟做出了什么贡献，让人们赋予他如此伟大的光环呢？哥德尔与好友爱因斯坦这就不得不说到哥德尔在1931年证明的一个定理——“哥德尔不完备定理”，正是这个定理让哥德尔名垂千古。
补充说明一点，哥德尔论文中的κ所代表的公理集合，是指蕴含了皮亚诺算术公理（PeanoAxioms）的集合，这是在哥德尔论文的前面明确了的，所以在阐述定理VI时就没有再特意强调。第一重神功的读者可能会问了“大哥，你说的这些都是啥？