手机浏览器扫描二维码访问
第九十八章 型论（第1页）
类型论的根基，是直觉主义逻辑。
海霆真人已经将离宗的“逻辑”吸收了过来，重写了算术公理，完成了连宗的逻辑。
类型论的目标，是“突破哥德尔不完备定理”，思路是“切断自我指涉”。
算主提出了绕过“哥德尔不完备定理”的思路，包括了“切断自我指涉”。
冯落衣为了证明“无穷公理”的安全『性』，而沿着这条思路走了下去。
可以，万事俱备了。
然后，算君就贡献了……包含类型论结果的成就。
也就是兽机关集群的混沌拓扑网络算法。
算君并没有单独提出“类型论”，因为他确实对大家争来争去的基础算理不感兴趣。
但是，他也确实是才，凭借自己的思考，就完成了这样一个严苛的系统。
这就好像用coq语言给你写一个完整的『操』作系统，还能运行得很顺畅，甚至界面还很优美一样，匪夷所思，令人惊叹。
王崎甚至怀疑，算君这一套做法，并非牺牲“图灵完备”，而是……算君压根就没在意什么“图灵完备”。
兽机关集群相当安全。用类型论的理论来看，它就是绝对的“强规范强类型”，不会输入任何“预料之外”的结果。一旦有丁点错误，就会直接停机给你看。
而在宏观上，则可以兼容冯落衣这一系的成就。
而就算宏观上的算来出现了问题，也智慧导致宏观层面的集群暂时失去凝聚力，而不是使得兽机关本身失控。
王崎思来想去，这种一不留神就灭星的玩意，也确实需要这种死板的东西来约束了。
如果要他用无类型、类型不安全的万象卦文直接写底层……
哈哈……哈哈哈哈……
可以，类型论诞生的一切条件，都已经完好了。
只是目前，神州的连宗修士，对算器还有些不够重视。
他们还盯着基础算理的那一块，想要在这方面与离宗，与歌庭派决一死战。
对算器理论偶有涉猎，也只是为了“驳倒对方”而已。
但另王崎险些三观尽碎的是……
这样一个地球历史上是来自基础数学的成就，在这个世界，居然是从应用反推出去的……
“哈哈……哈哈哈哈……”王崎只得表示：“我感觉自己的知见障也确实蛮严重的……”
尽管今法修士从来都是以“打开黑箱”为荣，但是，在这个宇宙，就没办法完全规避“黑箱”带来的法术。
或者，就没谁可以在无黑箱的情况下生活。
举个最直接的例子好了，如果非要懂得“中心法则”才能生娃的话，那人类就不用繁衍了——不过相对的，病毒也就不会传播了。
先影应用”而后影理论”，在哪个世界都是很常有的事情。
赵清潭错愕道：“师妹这成就，相当了不起啊……”
“是啊，相当了不起。”王崎摇了摇头：“神州怕是又要变了。”
“什么意思？”
王崎道：“构造新的高级算器语言，变得更加简单了，因为有人直接将‘语言’的本质挑明了，所以，大家也就知道怎么构造‘傻子都能用’的语言了。”
强规范、强类型对智商的挑战在于，你必须戴着镣铐跳舞。因为失去了图灵完备，所以真的一点容错率都没樱
周一见 九子登云的作品武裂苍穹 替嫁给病弱佛修太子后他破戒了姜南枝容司璟全文免费完结版 替嫁给病弱佛修太子后他破戒了姜南枝容司璟更新 封先生的宠爱 唐老太的种田生活 贵门妾 替嫁给病弱佛修太子后他破戒了姜南枝容司璟后续 就想和你在一起 替嫁给病弱佛修太子后他破戒了姜南枝容司璟番外 武裂苍穹秦天青儿百度云 穿书之末世娇宠 七零空间小娇女 玄学大佬在现代 神道丹帝叶尘苏傲雪全本免费阅读 武裂苍穹秦天青儿全集免费阅读 天才高手 人人都爱马文才 一觉醒来怀了崽 穿成大佬假妹妹
黄金王朝：从殴打愚蠢的弟弟开始
王楚天魂穿大周王朝下附属国成为一个小贵族之子。人神妖鬼并存，刀剑与道法交相辉映，人族水族精怪异人妖魔争相出世，大周王朝风雨欲来的王朝末年光景下，正是建功立业之时。多年后，坐在直入云霄的黄金树下，王楚天昭告四方，登基为帝。曰自古天子自称皇帝，乃告诫子孙后代皇为文治，帝为武功，坐天下要堂皇之道，霸...
幽冥末班车
幽冥末班车简介emspemsp关于幽冥末班车三流大学毕业的刘唐，进入地铁部门成为一名夜班乘务员。可等他工作后才发现，这里诡异重重！不存在的保洁员，多出一站的站点，忽然出现又消失的纸人，这趟地铁究竟要开往何处？深陷旋涡的刘唐，不得不深入其中，查询这背后的真相，可当真相浮出水面的时候，谁是人？谁又是鬼？？！...
女尊之我真不想当绿茶
穿越到女尊世界，有一个双目失明的姐姐需要照顾，江泠看着用了十年时间辛辛苦苦激活的系统作为社会主义接班人，我绝不可能为了区区小利出卖自己的灵魂！系统啊啊啊！系统，你是不是私吞了我的奖励？我辛辛苦苦演了那么久TT双洁女尊，有一点点虐，单女主，大家看清楚在入坑哦！...
替嫁娇妻甜又飒
替嫁娇妻甜又飒简介emspemsp关于替嫁娇妻甜又飒生父不爱，继母算计，她忍辱负重，替妹嫁人。传说，君家三少，行事神秘，无人见过真容，性情阴冷怪戾难相处君衍看脸，是要付出代价的！当他摘下面具救命之恩，无以为报，那就以身相许吧！...
全球灾变：我把世界制成了卡牌
丧尸异能卡牌宠物非战斗人员请撤离萧升刚成为一名制卡师不久，全球灾变。技能卡冰锥术，雷击万钧，死亡凝视道具卡钢刀，寒霜匕首，储物空间召唤卡封印万物为自己的属下，丧尸，变异动物，高冷美女别人还在为一口面包争抢的时候，萧升大口吃着炸鸡，甚至配了一杯冰啤。别人还在为一个安全的庇护所大打出手的时候，萧升奴役数万丧尸为自己巡逻。培养一个老婆当首领，自己只要掌管所有物资，当好后勤部长就好了。这个末世，他只想混一个好日子，顺便成为一名优秀的制卡师。定个小目标，把脚下这颗星球制成卡牌！如果您喜欢全球灾变我把世界制成了卡牌，别忘记分享给朋友...
太子爷高调宠妻
太子爷高调宠妻简介emspemsp关于太子爷高调宠妻毒手圣医的传人孟倾，一不小心穿越成南祁国丞相家的三小姐，被薄情的老爹替代自己的大姐去北冥国和亲。他喜怒无常，嗜血残忍，杀你没原因，护你无缘由。她妙手回春，绝色倾城，踩你没道理...