将本站设为首页
收藏人本官网,记住:www.rbcnw.com
账号:
密码:

人本书院:看啥都有、更新最快

人本书院:www.rbcnw.com

如果你觉得好,恳请收藏

您当前的位置:人本书院 -> 走进修仙 -> 第七十三章 哥德尔完备定理【加更四】

第七十三章 哥德尔完备定理【加更四】

温馨提示:如果本章属于内容错误等情况,请点击下面的按钮发送报告,我们会在一分钟内纠正,谢谢

。

但是,一阶谓词演算是一种能力比较弱的数学系统,如果只是应用它的话,连自然数都定义不了,就更别说算术。

对于希尔伯特计划,哥德尔完备定理是一个重大突破,但是远没有不完备定理那样一锤定音的效果。而且完备定理也只是沿着希尔伯特的思路,在冯诺依曼的基础上又走了一步,而不是像不完备定理那样属于天才般的跨越。

但是……

“这还真是不科学的速度啊。”王崎喃喃自语。

对于哥德尔这种神级数学家来说,这篇论文或许只是一篇博士生论文,但世界上大多数数学家都写不出这样的论文。

或者说,一般数学家都未必看得懂。

“虽然我知道大致思路,也提前知道了结论,但是……我居然一天就推出来了?”

王崎懵了。

知道大致思路和结论不代表完全没有难度了。这就相当于大家到一个新地图寻宝,普通人不知道有没有宝藏,王崎一开始就知道有,而且看到了一个指路牌。

但是具体的路还是需要他自己找

他最开始甚至没想到要一鼓作气把哥德尔完备定理推出来,而是沿着冯诺依曼的思路再找一个算术系统特殊的子系统论证一下就行了。

“我水平有这么高?”



  40541025
  吾道长不孤提醒您:看完记得收藏【人本书院】 www.rbcnw.com,下次我更新您才方便继续阅读哦,期待精彩继续!您也可以用手机版:m.rbcnw.com,随时随地都可以畅阅无阻...
上一页 123下一页

看了《走进修仙》的书友还喜欢看

带嫂子修仙记
作者:命运一刀流
简介: 评分刚出,后面会涨。\n凡人流,稳健发育。\n孙栋梁和嫂子,被一起卖进了深山当苦力,...
更新时间:2026-10-26 21:28:52
最新章节:第885章 感慨万千
序列公路求生:我在末日升级物资
作者:山海呼啸
简介: 【题材新颖+非无脑爽文+非无敌+序列魔药+诡异+公路求生+升级物资+心狠手辣】\n诡...
更新时间:2026-10-26 21:31:37
最新章节:第1610章 战争,还没有结束
本公子只想躺平,虎爹何故造反啊?
作者:南千岁
简介: 当首富的儿子,养出了当皇帝的爹?结果,老爹还既要,又要;既要我娶英姿飒爽的女杀神为妻...
更新时间:2026-10-26 21:34:35
最新章节:第166章 红衣大炮
刚成老祖逼我赴死,我道果归一了
作者:大白云的梦
简介: (评分刚出,后面会涨的,狗头保命(????))【诸天流+老祖流+无女主+杀伐果断+道...
更新时间:2026-10-26 21:38:10
最新章节:第594章 真武血相,小红与星际!
树屋求生:班级全员恶人
作者:我是人間惆怅客
简介: 【轻松搞笑、种田安稳发育、节奏稍缓、全新题材、不喜也可来偷图】\n(评分刚出来,初始...
更新时间:2026-10-26 21:37:41
最新章节:第409章 谁同意,谁反对?
冤种世子要我命?几巴掌就服了
作者:蒲蒲知忆
简介: #穿书##重生##双向误会##日常拌嘴##她真打他也是真的服##口嫌体正直##冤种世...
更新时间:2026-10-26 21:37:55
最新章节:第460章 女儿心寒啊