手机浏览器扫描二维码访问
第九十八章 型论第三更（第1页）
类型论的根基，是直觉主义逻辑。
海霆真人已经将离宗的“逻辑”吸收了过来，重写了算术公理，完成了连宗的逻辑。
类型论的目标，是“突破哥德尔不完备定理”，思路是“切断自我指涉”。
算主提出了绕过“哥德尔不完备定理”的思路，包括了“切断自我指涉”。
冯落衣为了证明“无穷公理”的安全性，而沿着这条思路走了下去。
可以说，万事俱备了。
然后，算君就贡献了……包含类型论结果的成就。
也就是兽机关集群的混沌拓扑网络算法。
算君并没有单独提出“类型论”，因为他确实对大家争来争去的基础算理不感兴趣。
但是，他也确实是天才，凭借自己的思考，就完成了这样一个严苛的系统。
这就好像用coq语言给你写一个完整的操作系统，还能运行得很顺畅，甚至界面还很优美一样，匪夷所思，令人惊叹。
王崎甚至怀疑，算君这一套做法，并非牺牲“图灵完备”，而是……算君压根就没在意什么“图灵完备”。
兽机关集群相当安全。用类型论的理论来看，它就是绝对的“强规范强类型”，不会输入任何“预料之外”的结果。一旦有丁点错误，就会直接停机给你看。
而在宏观上，则可以兼容冯落衣这一系的成就。
而就算宏观上的算来出现了问题，也智慧导致宏观层面的集群暂时失去凝聚力，而不是使得兽机关本身失控。
王崎思来想去，这种一不留神就灭星的玩意，也确实需要这种死板的东西来约束了。
如果要他用无类型、类型不安全的万象卦文直接写底层……
哈哈……哈哈哈哈……
可以说，类型论诞生的一切条件，都已经完好了。
只是目前，神州的连宗修士，对算器还有些不够重视。
他们还盯着基础算理的那一块，想要在这方面与离宗，与歌庭派决一死战。
对算器理论偶有涉猎，也只是为了“驳倒对方”而已。
但另王崎险些三观尽碎的是……
这样一个地球历史上是来自基础数学的成就，在这个世界，居然是从应用反推出去的……
“哈哈……哈哈哈哈……”王崎只得表示：“我感觉自己的知见障也确实蛮严重的……”
尽管今法修士从来都是以“打开黑箱”为荣，但是，在这个宇宙，就没办法完全规避“黑箱”带来的法术。
或者说，就没谁可以在无黑箱的情况下生活。
举个最直接的例子好了，如果非要懂得“中心法则”才能生娃的话，那人类就不用繁衍了——不过相对的，病毒也就不会传播了。
先有“应用”而后有“理论”，在哪个世界都是很常有的事情。
赵清潭错愕道：“师妹这成就，相当了不起啊……”
“是啊，相当了不起。”王崎摇了摇头：“神州怕是又要变天了。”
“什么意思？”
王崎道：“构造新的高级算器语言，变得更加简单了，因为有人直接将‘语言’的本质挑明了，所以，大家也就知道怎么构造‘傻子都能用’的语言了。”
强规范、强类型对智商的挑战在于，你必须戴着镣铐跳舞。因为失去了图灵完备，所以真的一点容错率都没有。
舌尖天下 盛世花都 大明：开局剧透崇祯，重振河山 道化九界 巫妖生存指南 我，地球唯一超能力者 穿进语文书，从刺猹开始 什么？奥特曼是终身制的？ 我的修真小米三 建立帝国从骑士次子开始 月薪十万，女总裁她果然不只是让我当司机 灵异直播，女主她不想吓人 敛财心 运河之韵 西游：六岁熊孩子，开局怒怼观世音 网游航海之王 巨树领主 谭笑风声里，灼灼桃之夭 先婚后爱：娇妻拒婚101次 万苍天穹
我在永不磨灭的番号当政委
关于我在永不磨灭的番号当政委徐岩大本事，快来！这儿有野鸡脖子！李大本事谁说县大队不是主力？九纵司令员李大本事，恭喜你最近发财啊？李大本事徐岩本事，快来！这儿有大炮！吸铁石打碉堡很难？那不是一炮一个吗？九纵司令员李大本事，恭喜你最近发财啊？李大本事徐岩本事，快来，一仓库的白面啊！丁大算盘来来来，都参加我们县大队了啊，顿顿白面，餐餐有肉啊！九纵司令员李大本事，恭喜你最近发财啊？李大本事徐岩暴怒你们能不能别显摆了？我攒点儿家当容易吗？...
剑灵
剑灵是坏宝写的东方玄幻类小说门万千，强者如林。为了避免姐姐被恶少强娶，陆轩不得不努力修炼，加入宗门寻求庇佑。一颗来历神秘的剑型晶体，机缘巧合融入陆轩体内，无数顶尖功法，强大武技，应有尽有！一个武道的传奇，从此开始...
超宠！秦爷的闪婚娇妻从乡下来
唐晚卿，唐家不得宠的千金，母亲早逝，自幼跟着外公在乡下长大。某天，她从山旮旯回了帝都，家人唾弃她是个没见过世面的乡巴佬，只懂养猪种地，一无是处，豪门未婚夫更是光明正大劈腿心机妹妹。唐晚卿生气了吗？不，她直接逼着未婚夫退婚，然后又拉着帝都那个让人闻风丧胆的秦爷去领证，还和渣爹断了父女关系。可后来，随着一个个马甲掉落，...
小结巴失忆后，被高冷队长宠翻了
六月的徐城热浪滚烫，北郊GHI分局突然来了位清爽解暑的可人儿，眉如远山，眼似星辰，众人看的惊叹。然而这位帅哥来历不明缄默不语，除了长得好看，一问三不知。众人哦，是个哑巴啊。帅哥摇头我我不是众人哦，那是个结巴。帅哥点头嗯QAQ众人给出评价花瓶。可花瓶一个暴起就能单手制敌，空手夺刃，身手不凡。小结巴只会...
星际首富大小姐的破烂收藏
关于星际首富大小姐的破烂收藏沈沉浮在外流浪多年，被星际首富找回。家中养女对她敌意十足双胞胎弟弟嘲笑她没吃过肉学校同学看她翻垃圾桶，想要为她申请救济金学校还有一个冒领她身份的假千金她一个荒星人爱搞收藏的事传得沸沸扬扬，全校嘲她收藏的怕不是垃圾吧几乎所有人都以为她只是个荒星来的贫民窟人。军校联赛，人人也都以为她只是个C级空间系储物袋，出来混的花瓶废物。没想到她随手扔出来的都是高级异兽，又一掌把SS级拍飞，嘴里还说了句早就看你不顺眼了。星际为之震动你收藏的是真异兽啊？！对手没人告诉过我她是SSS级的空间系啊！队友我们也不知道啊！而室友拿着当初她不要的空间模型块瑟瑟发抖你没跟我说里面这玩意儿是真的啊！沈沉浮你们也没问我啊...
60年代，饥荒年，赶山挖百年参
关于60年代，饥荒年，赶山挖百年参张汉水穿越到60年代的长白山下，在这个缺衣少食，闹饥荒的年代，有钱也难买到粮，但有粮绝对NO1。有粮在手，什么都有，有空间，传承『医经』还懂医术，以物换物，赶山挖野菜，采蘑菇，下河抓鱼摸虾，挖百年人参，打猎，在现代与过去实现财富自由，成为首富。...