“遂古之初，算学何立？迢迢万年，何以盛之？”

远古初期，人族尚处蒙昧，是何人立下算学？在这八万年里，算学又是如何发展的？

“算学始于人族所需，又因人族兴而盛。”

“请详解。”

王崎侃侃而谈：“算学最初，不过是计数尔。人族渔猎所得，皆需计数，是以有加减乘除。而人天生十指，是以通行算学十则进一。后为描绘事物，人族又从天地万物抽象出图像，是有几何。此乃算学之始也。

而我方才说了，算乃去蔽破玄之器。算学越明细，则‘求道之器’越锋锐，是以自由无数前辈完善算学。是以，算学又遂人族兴盛而发展。”

可哈儿露出惊异的表情，转向陈景云：“陈掌门，这孩子道心不必问了吧，太完美了！我和我门下弟子做过很多次震心之人，可从未听说过又弟子能如他一般。”

王崎坐在地下，心中对这位阳神阁逍遥的好感蹭蹭蹭往上涨。

掌门啊，你要是想这位一样痛快多好！

陈景云轻轻点头：“我自有计较。”然后又说道：“这是最重要的问题了，你且听好。”

王崎见他说得郑重，忍不住咽了口唾沫。

“所谓算学，完备乎？相容乎？可判定乎？”

啊？王崎明显愣了一下。

这个问题和前面两个差太多了吧！

数学是完备的吗？是不是每个命题都能证明或证伪？

数学是相容的吗？是否用附和逻辑的步骤和顺序，永远不会退出相矛盾的命题？

数学是可判定的吗？是否能用一种机械的方法判定每一个命题的真伪？

这三个问题每一个都直击数学的根本，每一个都是逻辑学领域最高深的问题！

这种问题出现在高考性质的问心关之中？这就像让高中生来解规范场方程一样，是不可能的事情啊！

等一等，由于两个世界的历史已经出现分歧，哥德尔的同位体并没有出现在神州大地，所以目前来看前两个问题都是无解的……第三个问题在地球是阿兰·图灵解决的，但是……现在我还没有学到那边去，也不知道神州的机老图灵是不是解决判定问题——不对，在地球判定性问题的灵感同样来自哥德尔……

也就是说这个纯粹是信仰问题？

王崎心念电转，过了好一会才组织好语言：“第三问，我认为是否定的……若是算器便可解决所有算题，那还要我们算家作甚？”

可是，前两个问题怎么编呢？我心底里的答案当然是标达“对于一个形式逻辑系统，完备性和相容性不可并存”……但是这特么太具体了

本章未完，请点击"下一页"继续阅读！ 第2页 / 共3页