手机浏览器扫描二维码访问
第九十八章 型论第三更（第1页）
类型论的根基，是直觉主义逻辑。
海霆真人已经将离宗的“逻辑”吸收了过来，重写了算术公理，完成了连宗的逻辑。
类型论的目标，是“突破哥德尔不完备定理”，思路是“切断自我指涉”。
算主提出了绕过“哥德尔不完备定理”的思路，包括了“切断自我指涉”。
冯落衣为了证明“无穷公理”的安全性，而沿着这条思路走了下去。
可以说，万事俱备了。
然后，算君就贡献了……包含类型论结果的成就。
也就是兽机关集群的混沌拓扑网络算法。
算君并没有单独提出“类型论”，因为他确实对大家争来争去的基础算理不感兴趣。
但是，他也确实是天才，凭借自己的思考，就完成了这样一个严苛的系统。
这就好像用coq语言给你写一个完整的操作系统，还能运行得很顺畅，甚至界面还很优美一样，匪夷所思，令人惊叹。
王崎甚至怀疑，算君这一套做法，并非牺牲“图灵完备”，而是……算君压根就没在意什么“图灵完备”。
兽机关集群相当安全。用类型论的理论来看，它就是绝对的“强规范强类型”，不会输入任何“预料之外”的结果。一旦有丁点错误，就会直接停机给你看。
而在宏观上，则可以兼容冯落衣这一系的成就。
而就算宏观上的算来出现了问题，也智慧导致宏观层面的集群暂时失去凝聚力，而不是使得兽机关本身失控。
王崎思来想去，这种一不留神就灭星的玩意，也确实需要这种死板的东西来约束了。
如果要他用无类型、类型不安全的万象卦文直接写底层……
哈哈……哈哈哈哈……
可以说，类型论诞生的一切条件，都已经完好了。
只是目前，神州的连宗修士，对算器还有些不够重视。
他们还盯着基础算理的那一块，想要在这方面与离宗，与歌庭派决一死战。
对算器理论偶有涉猎，也只是为了“驳倒对方”而已。
但另王崎险些三观尽碎的是……
这样一个地球历史上是来自基础数学的成就，在这个世界，居然是从应用反推出去的……
“哈哈……哈哈哈哈……”王崎只得表示：“我感觉自己的知见障也确实蛮严重的……”
尽管今法修士从来都是以“打开黑箱”为荣，但是，在这个宇宙，就没办法完全规避“黑箱”带来的法术。
或者说，就没谁可以在无黑箱的情况下生活。
举个最直接的例子好了，如果非要懂得“中心法则”才能生娃的话，那人类就不用繁衍了——不过相对的，病毒也就不会传播了。
先有“应用”而后有“理论”，在哪个世界都是很常有的事情。
赵清潭错愕道：“师妹这成就，相当了不起啊……”
“是啊，相当了不起。”王崎摇了摇头：“神州怕是又要变天了。”
“什么意思？”
王崎道：“构造新的高级算器语言，变得更加简单了，因为有人直接将‘语言’的本质挑明了，所以，大家也就知道怎么构造‘傻子都能用’的语言了。”
强规范、强类型对智商的挑战在于，你必须戴着镣铐跳舞。因为失去了图灵完备，所以真的一点容错率都没有。
我的修真小米三 建立帝国从骑士次子开始 运河之韵 灵异直播，女主她不想吓人 月薪十万，女总裁她果然不只是让我当司机 敛财心 舌尖天下 盛世花都 谭笑风声里，灼灼桃之夭 穿进语文书，从刺猹开始 大明：开局剧透崇祯，重振河山 万苍天穹 什么？奥特曼是终身制的？ 网游航海之王 西游：六岁熊孩子，开局怒怼观世音 道化九界 先婚后爱：娇妻拒婚101次 我，地球唯一超能力者 巨树领主 巫妖生存指南
编号十四
未原最大的愿望就是能过普通的生活。死神每晚站在未原床边等待他入睡，未原不敢睡，于是每个晚上都成为痛苦煎熬。他在死后才发现他和死神之间的羁绊深入骨髓。...
在成为最强者的路上先成了万人迷
关于在成为最强者的路上先成了万人迷莳初某天熬夜打游戏猝死，醒来发现自己带着游戏面板（无系统，无攻略任务）穿越到了未来的abo世界。她立志要把自己面板的属性全部点满，成为最强者，为此每天勤勤恳恳地刷任务，努力提升实力。只不过，为什么周围有一群疯狗在垂涎她？表面是性格和善爱吐槽的正常beta少女莳初，实际上是有仇必报，喜欢扎人心窝子（物理），发起疯来连自己也捅的狠人。身边一群疯子环绕，没一个正常人。不过好巧，我也是。只要我比所有人都强，危险就追不上我。目标当然是成为星际最强者，不过，好像先成了万人迷？没关系，这不是问题！心中无男人，拔刀自然神。训狗？不过顺手而已。这是什么？会叫主人的小野狗，摸一下。银发金瞳的死狐狸，一脚踹开。死狐狸的高冷双生弟弟，等等，你小子手放哪里呢？！傲娇的笨蛋金毛小狗，死傲娇是没有前途的，别来沾边。高岭之花利益至上的家族继承人，谢谢，不约。阳光开朗的大猫猫绿茶学弟，辣手摧猫我在行，快给我rua一下。等等...
反派她每个马甲都是正道之光
本书简介 为回家，反派盛梳兢兢业业打了四份工。第一份工，万剑门大师兄，天资绝伦，本是钦定的少掌门，却趁男主闭关，毫不犹豫夺剑离去，对信赖自己的师兄师妹见死不救。第二份工，清河仙君，飞升在即，收男主为徒，却一心谋划夺天生剑骨，如今撕破脸和整个修仙界为敌，仙君名号名存实亡。第三份工，合欢宗大师姐雁禾，求爱男主不得走火入魔被联手封印，刚在封印中蛊惑了同门对男主下手。第四份工，天生魔种，一直潜伏在女主身边最后背刺，现在已经当上了魔族少主，抓了女主准备祭旗。为了不崩人设，从动机到背景她都给自己四个马甲整明白了，谁都不能说，他们认识的师兄师尊师姐还有魔族少主是个好人了。问题来了。系统说她再不洗白，就会被雷劫制裁，但反派已经暴露。而承诺走完剧情就会送她回家的天道，已经六年没搭理她了。现在她和她的四个马甲，还能活吗？？？你是面目暴露的反派。为盗剑，你见死不救抛弃宗门，如今被问审，所有人都怒视着你，你选择为成仙，你觊觎弟子天生剑骨，刚刚被暴露，天下正派都想杀你，你选择为求爱，你不择手段走火入魔，被封印后蛊惑弟子现场露馅，你选择为成魔，你让收养你的女主一家血流成河，现在落在女主手里，你选择叮，载入副本反派她每个马甲都是正道之光全文免费阅读，如果您喜欢反派她每个马甲都是正道之光施釉最新章节，请分享给您的好友一起来免费阅读。魔蝎小说...
六零：真千金不要？我反手断亲
关于六零真千金不要？我反手断亲重生成真千金，城里的父母不欢迎她，那就回乡下跟寡妇妈过日子，凭借自己的本事扭转命运。吴优从未想过自己会穿越到过去的年代。上大学，当干部，做领导，让所有人佩服！听说了吗？张寡妇那姑娘是城里抱错的。是啊，还不要她被撵回来了。听说她当上工人了！什么？！靠山屯全体村民惊呆！当工人只是第一步！上大学镀金，走仕途才是她的目标！吴优靠着自己的小聪明走的越来越远，让所有人羡慕！...
星际大佬自带嫁妆求入赘
非娇软女主。男多女少的三角星系，没有精神力的女性才有生育价值。傅一一被渣男和闺蜜背叛后，穿越到这里，成为大佬们竞相追逐的对象。外冷内热的联邦元帅，全心全意的帮助女主。外表温文尔雅的联邦总理，实则是个疯批，自认为只有自己的知道女主的秘密。从小丧母的陆家继承人，一直被父亲纵容着，继母捧杀着，虽然顽劣不堪，但从不乱搞，直...
真千金的女儿是个狠人
（评分刚出的，慢慢上涨中，无CP金手指目标明确）闲着无聊，虞轻轻被这方世界的意识忽悠了，投身到齐王妃肚子去拯救镇国将军府免遭灭门的惨案，可是，不是说好的投身成真千金的吗，这咋还降辈份了？真千金变成真千金的女儿了？那就重来？什么？不可以重来，那也就将就将就吧！虞张氏我和老头子腿脚不便，我孙女替我教训儿子咋了，打...