文的意义。清知识，所以王崎比任何篇算学是因为有着超前的数学论正人都楚这

或者能给出某一对象谓可构给出某一对象的计算造性是指研究的一个能具体地给所出某一对象的。构调。，常把能具体地给出某造性数学是现征就是对可构在数学的讨论中重要领域，它的根本特称之为可构造代数学造性的强的计算方法。一对象或者能方法者

释被构造区别在于构造性的典的数学以便。数学认为“存在就是的命题的证明的其他逻辑联结词构造性数学与古造性包含这些逻辑表达式新解释存在量词及其，数学家必须重”。为了做到构含义用构造的观点解和量词，

不完单来说，它就论有着合非常强大基于构造性的计算理，根基都斥实无穷，排斥无数实知的方法。简成了一除了，形稳固，所以显得的优势。用的、已。这个理论排斥逻辑说，它因为太过非常封闭它非常可靠，不像集美的东西切证明，排不稳固。但是反过来个有限的的、是将一切不可靠论和逻辑数学“完美”。

这种“杀伤力”过，正是因为这种思路将大的法门，正是算主所用了，所个观念广为指以导致数学家处理问题束手束脚，本身也排斥的。更重要的是没有任何实际途。因此，这太多的方法禁制责。

而算君解决了这个问题。

的新算法无比简洁，而其构造性的特点。它的突算君在构造性算法上做出了新特点也更适合计算科他强硬地无视了希保留其构造部分，消除分。这样在这一领域做出的成就有着很强，的能行性，潜无且由于。只破穷的学领域的实际应用。柏澈了一切非构造部

一直以来，离宗都因为数学逻辑对！性上反而超越了离宗视连宗，可是这一下，用鄙连宗的算学理论在实算器学的推动作用而

…这不科学啊？”“这…王崎发出了这样的感叹。

了天壤发之等大神一次又计算理论才得以生根、说这个时代的数学在这样的有一次地毁灭性打击。否决了哥德尔、图灵、丘奇现代数。到了这一世纪初的数学已经和二十。那个时候实在二十世纪六十年代基础性内容，可以别。家又找出了许多的新路格罗滕迪克等无数数学和土壤下。构造性了无数错学逻阶；随后布尔巴基学派、芽。段，所有数路学家的三观都经过在地球，构造性数学，递归论才问世的辑已经成为了

场历史挥出他应有的光的盛会，“黄金对角线怀疑语义德尔缺席这狂撞。存在矛盾。也就是人类但是这个世州，哥在完备性的南墙上狠撞机老图灵并没有发”断裂，这个神和语法之间语芒。由于没有人界、言本身的缺陷。算主还

在这种情况下，这的可能性啊！样的数学应该没有出现

数学的大发展，也。毕竟在是一直活着啊！变时让布劳威学怪癖的死君庞家莱可球历史上，亨利.入他个人哲代衍生出计算机科学、改到数学胡同，更没有见证一天这好像也不是不可能地不过，仔细想一下，。但是算，错过了尔将直觉主义带庞加莱死得太早的那

同位体之上。远远在他地球的他的积累。

硬是略过无数错误的庞加莱去世五十年后才球的历靠着对算学的感觉看来以后不能衣的脸色。甚至无“算君的这个论文是亨心史来判定神州逍遥的果不是学习过二十一世纪的数学理论。上出这一条新路……被地球科学家提出的，用地崎暗暗赞叹，同时法生出与他相比较一！很强！如道路，开辟利.翼翼的看着冯落的心思。”王来最强的天才之，我限。小算君果然是神州有史以

这下子，咱们啊！丸歌庭怕是药

笑：“怎么样？”衣。冯落衣感在万仙幻境之中，任何小动作都瞒不过冯落觉到了王崎的神态，苦

篇论文完全这该怎么形容，但是应用算学的发展。”完全不知道应道标，指引“神州算学的发展，可以作为一个很强，我特别是

强。我们原以为有整个万法门的绝世强力压一步，没想到我看了自己，也小看了们既高服了你的一阶完备律“不愧是曾以一人之算君。”冯落衣摇头：者。”，在算学逻是应用层面都很辑上能够领先“无论是理论层面还

代强者交割的时的时候入修行路久就离开神州镇守别处落衣并没有直面那，他是万法门较年轻的。因此候。而他成道逍遥的时，正是希柏澈位暴君的机会。冯逍遥。他踏建立前后，算君没过多间也是仙盟崛起、万法门两

高看了？”自己？”王崎揣着明“涂：“完备性的证明有差错白装糊

和语法之间存在矛盾，算主几乎不可能得法用逻辑来念靠人类的语言根无结果。想得到他梦，有些概定义，有些问题自在哥德尔之前，根本就没人怀疑语义理解。用脚趾想也应该本无法到寐以求的现有的

歌庭派的众地球数学。派的的完备性主在那儿撞南墙，不话，王崎甚至希望将到。但是，这一过程但是，又是科学当中他们势必会验证一些走不通的路，身也更先进的尔巴基成为以后数学发展的基可能证明普遍以的更熟悉同时自展就是这样。算多逍遥引导地、广泛提出一路子上，让无数逍遥来，使之接近王崎球布改造神州数学发础。如果可些无心插柳得出的学理论。这些成果会

……”得自己像是在原地打转，让他觉约看到了目的，冯落衣叹息地，但是总有一堵不可视的墙阻隔着他主正在抱怨呢：“希门他好像已经隐

老实回答我。”的看着王崎：“王突然，冯落衣变了脸色，希门主托我问你一个崎，直勾勾问题，你要

个重要的问题。哪不明所以，暗暗寻思是王崎

为何又的方法去做下备，突然违背有限主义？”框架，用超限的只听得冯落衣问道：“证明了一阶逻辑的完有限的步的研究框架下完美你当初已经在一

……灵光一闪而已崎语塞：……”“这个王

到这种进退谷的状况了吗？还是“你料说，你藏未完了什么发待续现？”(维当初就预