手机浏览器扫描二维码访问
第九十八章 型论第三更（第1页）
类型论的根基，是直觉主义逻辑。
海霆真人已经将离宗的“逻辑”吸收了过来，重写了算术公理，完成了连宗的逻辑。
类型论的目标，是“突破哥德尔不完备定理”，思路是“切断自我指涉”。
算主提出了绕过“哥德尔不完备定理”的思路，包括了“切断自我指涉”。
冯落衣为了证明“无穷公理”的安全性，而沿着这条思路走了下去。
可以说，万事俱备了。
然后，算君就贡献了……包含类型论结果的成就。
也就是兽机关集群的混沌拓扑网络算法。
算君并没有单独提出“类型论”，因为他确实对大家争来争去的基础算理不感兴趣。
但是，他也确实是天才，凭借自己的思考，就完成了这样一个严苛的系统。
这就好像用coq语言给你写一个完整的操作系统，还能运行得很顺畅，甚至界面还很优美一样，匪夷所思，令人惊叹。
王崎甚至怀疑，算君这一套做法，并非牺牲“图灵完备”，而是……算君压根就没在意什么“图灵完备”。
兽机关集群相当安全。用类型论的理论来看，它就是绝对的“强规范强类型”，不会输入任何“预料之外”的结果。一旦有丁点错误，就会直接停机给你看。
而在宏观上，则可以兼容冯落衣这一系的成就。
而就算宏观上的算来出现了问题，也智慧导致宏观层面的集群暂时失去凝聚力，而不是使得兽机关本身失控。
王崎思来想去，这种一不留神就灭星的玩意，也确实需要这种死板的东西来约束了。
如果要他用无类型、类型不安全的万象卦文直接写底层……
哈哈……哈哈哈哈……
可以说，类型论诞生的一切条件，都已经完好了。
只是目前，神州的连宗修士，对算器还有些不够重视。
他们还盯着基础算理的那一块，想要在这方面与离宗，与歌庭派决一死战。
对算器理论偶有涉猎，也只是为了“驳倒对方”而已。
但另王崎险些三观尽碎的是……
这样一个地球历史上是来自基础数学的成就，在这个世界，居然是从应用反推出去的……
“哈哈……哈哈哈哈……”王崎只得表示：“我感觉自己的知见障也确实蛮严重的……”
尽管今法修士从来都是以“打开黑箱”为荣，但是，在这个宇宙，就没办法完全规避“黑箱”带来的法术。
或者说，就没谁可以在无黑箱的情况下生活。
举个最直接的例子好了，如果非要懂得“中心法则”才能生娃的话，那人类就不用繁衍了——不过相对的，病毒也就不会传播了。
先有“应用”而后有“理论”，在哪个世界都是很常有的事情。
赵清潭错愕道：“师妹这成就，相当了不起啊……”
“是啊，相当了不起。”王崎摇了摇头：“神州怕是又要变天了。”
“什么意思？”
王崎道：“构造新的高级算器语言，变得更加简单了，因为有人直接将‘语言’的本质挑明了，所以，大家也就知道怎么构造‘傻子都能用’的语言了。”
强规范、强类型对智商的挑战在于，你必须戴着镣铐跳舞。因为失去了图灵完备，所以真的一点容错率都没有。
我的修真小米三 月薪十万，女总裁她果然不只是让我当司机 先婚后爱：娇妻拒婚101次 大明：开局剧透崇祯，重振河山 敛财心 谭笑风声里，灼灼桃之夭 万苍天穹 巫妖生存指南 道化九界 灵异直播，女主她不想吓人 巨树领主 网游航海之王 运河之韵 舌尖天下 穿进语文书，从刺猹开始 我，地球唯一超能力者 什么？奥特曼是终身制的？ 盛世花都 建立帝国从骑士次子开始 西游：六岁熊孩子，开局怒怼观世音
七零之女配觉醒后
下一本七零之如花美眷求收藏！本文文案终于恢复了穿越前的记忆，沈林琪欲哭无泪，活了二十多年了，她才发现自己特么地只不过是个年代文里下场悲惨的女配，为了回城，为了狗屁的前男友，抛夫弃子，蹦哒着给男女主添堵，最后被男女主反杀，她真想给当时愚蠢的的自己一个耳刮子。痛定思痛，前男友靠边站，老娘不稀罕了，让他和女主相亲相爱去吧，养自家的萌娃不香吗？只不过当初她寻死觅活地离了婚，把孩子扔给了前夫，这孩子她该怎么要回来啊？还没有等她想明白，前夫带着孩子找来了，他有重要任务，需要出门一段时间，孩子没人照顾，希望交给孩子亲妈照顾一段时间。沈林琪点头如捣蒜，养萌娃，她很可以的，只是养着养着，便成了一家三口，不对，是一家四口，肚子里还有一个呢。此文案写于2021年06月22日晚，拍照留念！七零之如花美眷文案江珊珊是石岗村大队的一枝花，长得漂亮，家世又好，老爹是村大队的支书，妥妥的一把手，老娘是村里的裁缝，心灵手巧，一年的收入也是不菲，哥哥更是县里运输队的司机，收入更不用说了。于是家里人人都能挣钱，就江珊珊一个花钱的，按说这样的条件应该很好找对象才是，但是一直等到她十八岁了，还无人问津，谁让她身体太弱了呢，无论农村还是城里，娶媳妇儿又不是娶祖宗的，谁也不想娶个药罐子回家。而回家探亲的杨新洲，一见到那个娇弱的身影，便再也移不开眼睛，非她不娶，大家都在感叹十里八村的好后生就要绝后了的时候，哪里想到人家不到三年就抱了俩，跌破了一群人的眼睛，后来杨家的生活更是蒸蒸日上，大家才知道原来江家的那个药罐子才是最能耐的那个。江妈妈叉腰大笑傻眼了吧，我就说我的裁缝手艺是我闺女教的，你们还不信。江大哥也跟着起哄还有我，我能当司机，也是妹妹给出的主意。大家捶胸顿足，杨新洲得意地笑娶媳妇儿眼光我最强！一道温柔的女声响起新洲啊，该洗尿布了。杨新洲顿住，立马屁颠屁颠地拍拍屁股回家，作为男人，要想人前风光，就得人后折腰。魔蝎小说...
从先天功开始纵横诸天
徐浪获得氪金系统，只要通过氪金，就能够变强。于是为了钱，徐浪在地图上画一个圈。想要金山吗？去澳大利亚！笑傲世界轰轰烈烈的大航海开始了！...
草包美人翻身记
古代版先婚后爱大女主权谋男强女强聪明坚韧心怀大义女律师VS心机深沉野心家女律师穿越到草包美人林婳身上，通过辩才与破案能力，让那些笑话过她的人刮目相看。遭人多番陷害后，她决定与太子结盟，入主东宫嫁给了赵政，从此，性命与荣辱绑在一起。婚后她发现了赵政的野心，二者殊途同归，林婳决定帮他谋一谋这天下，一不小心成就了一段帝后佳话。女子亦可以成就一番事业。...
全民诸天：我教盘古开天辟地
诸天时代，人人都可觉醒诸天万界的能力。萧然绑定最强诸天辅助系统，开局就送至高洪荒世界，暴击抽奖，直接抽取通天圣人的诛仙剑阵。九转玄功，抽！七十二变，抽！九转金丹，抽！多年以后，盘古看着手持开天神斧的萧然，一脸懵逼！p...
极品王爷太凶残
...
激活系统后就成了祖宗人
关于激活系统后就成了祖宗人上辈子碌碌无为活的憋屈，因为生病郁郁而终，没想到却重生到了其他世界，不但如此还激活了掠夺系统，可以通过任何手段获取他人身上资源来强化自身。刚开始我要做个好人。慢慢的我要做个有底线的人。到最后什么你们的世界，那是我的，是我的诸天！...