手机浏览器扫描二维码访问
第九十八章 型论第三更（第1页）
类型论的根基，是直觉主义逻辑。
海霆真人已经将离宗的“逻辑”吸收了过来，重写了算术公理，完成了连宗的逻辑。
类型论的目标，是“突破哥德尔不完备定理”，思路是“切断自我指涉”。
算主提出了绕过“哥德尔不完备定理”的思路，包括了“切断自我指涉”。
冯落衣为了证明“无穷公理”的安全性，而沿着这条思路走了下去。
可以说，万事俱备了。
然后，算君就贡献了……包含类型论结果的成就。
也就是兽机关集群的混沌拓扑网络算法。
算君并没有单独提出“类型论”，因为他确实对大家争来争去的基础算理不感兴趣。
但是，他也确实是天才，凭借自己的思考，就完成了这样一个严苛的系统。
这就好像用coq语言给你写一个完整的操作系统，还能运行得很顺畅，甚至界面还很优美一样，匪夷所思，令人惊叹。
王崎甚至怀疑，算君这一套做法，并非牺牲“图灵完备”，而是……算君压根就没在意什么“图灵完备”。
兽机关集群相当安全。用类型论的理论来看，它就是绝对的“强规范强类型”，不会输入任何“预料之外”的结果。一旦有丁点错误，就会直接停机给你看。
而在宏观上，则可以兼容冯落衣这一系的成就。
而就算宏观上的算来出现了问题，也智慧导致宏观层面的集群暂时失去凝聚力，而不是使得兽机关本身失控。
王崎思来想去，这种一不留神就灭星的玩意，也确实需要这种死板的东西来约束了。
如果要他用无类型、类型不安全的万象卦文直接写底层……
哈哈……哈哈哈哈……
可以说，类型论诞生的一切条件，都已经完好了。
只是目前，神州的连宗修士，对算器还有些不够重视。
他们还盯着基础算理的那一块，想要在这方面与离宗，与歌庭派决一死战。
对算器理论偶有涉猎，也只是为了“驳倒对方”而已。
但另王崎险些三观尽碎的是……
这样一个地球历史上是来自基础数学的成就，在这个世界，居然是从应用反推出去的……
“哈哈……哈哈哈哈……”王崎只得表示：“我感觉自己的知见障也确实蛮严重的……”
尽管今法修士从来都是以“打开黑箱”为荣，但是，在这个宇宙，就没办法完全规避“黑箱”带来的法术。
或者说，就没谁可以在无黑箱的情况下生活。
举个最直接的例子好了，如果非要懂得“中心法则”才能生娃的话，那人类就不用繁衍了——不过相对的，病毒也就不会传播了。
先有“应用”而后有“理论”，在哪个世界都是很常有的事情。
赵清潭错愕道：“师妹这成就，相当了不起啊……”
“是啊，相当了不起。”王崎摇了摇头：“神州怕是又要变天了。”
“什么意思？”
王崎道：“构造新的高级算器语言，变得更加简单了，因为有人直接将‘语言’的本质挑明了，所以，大家也就知道怎么构造‘傻子都能用’的语言了。”
强规范、强类型对智商的挑战在于，你必须戴着镣铐跳舞。因为失去了图灵完备，所以真的一点容错率都没有。
建立帝国从骑士次子开始 西游：六岁熊孩子，开局怒怼观世音 敛财心 我的修真小米三 大明：开局剧透崇祯，重振河山 谭笑风声里，灼灼桃之夭 灵异直播，女主她不想吓人 运河之韵 万苍天穹 穿进语文书，从刺猹开始 巨树领主 网游航海之王 先婚后爱：娇妻拒婚101次 道化九界 巫妖生存指南 月薪十万，女总裁她果然不只是让我当司机 什么？奥特曼是终身制的？ 盛世花都 我，地球唯一超能力者 舌尖天下
四合院：阎解旷的潇洒人生
关于四合院阎解旷的潇洒人生阎有矿无意中开启了空间穿越到了四合院世界，成为了三大爷阎埠贵的三儿子阎解旷。阎解旷到了四合院，先打断盗圣棒梗的腿，收了些利息。接着又给四合院的养老团添了一些堵。只要你不让我好过，我就不让你舒服。我不舒服了，你们也别想开心。在这四合院世界里，我阎解旷想怎么样就怎么样！...
她自淤泥而来
出了车祸后她才彻底死心了，这个家原来真的不爱她，十万！为了区区十万他们放弃了她。真是太可笑了。可她都打算放弃自己了，为何又被救了回来，既然这都死不了，那么，她是不是也可以拼一次呢！重来一次后赚钱反而成为了最简单的事情。什么？觉醒的超能力是家族遗传？亲生父母另有其人？她的人生从她出生起老天爷就跟她开了一场玩笑。重来一...
东北金渐层把我家当月子中心了
轻松日常动物互动赶山沈星从大城市辞职回村，自从救下一头被捕兽夹子夹住的金渐层幼崽后，他在村里就过上了顿顿吃肉，家门口捡山珍的美滋滋小日子不是，到底是谁在传村里有个两脚兽会帮忙带娃啊？我家真不是月子中心！虎妈，你看你还客气上了，这麂子肉我真不能收。随着沈星开启直播，网友们看到他家里堆积如山的野山参灵芝松茸网友主播，这些都是你赶山捡到的？沈星啊，赶山？我真没赶山啊，我对灵芝人参啥的一点儿都不感兴趣这时，直播间正好录到一头五百斤重的金渐层叼着人参来找沈星啊，虎妈你别往我家里塞娃了，真带不了什么，你带了1o根野山参？还是一百年份的！欢迎欢迎，请进请进。网友们全都看傻眼了东北虎送礼？那长白山不成了主播家菜园吗这主播真6，躺平让他玩明白了！央妈采访沈星请问你一个失业人士，怎么做到在魔都买下一套房的？...
我只想躺平，你休想让我继承皇位
关于我只想躺平，你休想让我继承皇位全能杀手云曦，跳伞时不幸卷入风暴之中，死后带着空间魂穿到了异世大熙王朝。再睁眼，就是鸡飞狗跳的场景。大伯母要卖掉原身给小儿子看病，大伯袖手旁观，瘦骨嶙峋的弟弟被大堂哥一脚踹飞，面黄肌瘦的母亲被大伯母拽倒在地云曦一看，这能忍？先打回去，然后分家！这个家有她，必须得分！可分个家也不太平，弄得吵闹不休，烦不胜烦。云曦快刀斩乱麻，东西不要了，直接断亲，反正那点东西她也看不上！断亲后，云曦家逐渐富裕起来，且她还带着村子里的人共同富裕。不仅如此，她的弟弟，考上了状元！她的母亲，成了一品诰命！她路边救的人，是个王爷！她的合作伙伴，是全国首富！她的徒弟，有神医，有神厨，有墨家巨子她的发明创造，让大熙至少进步了一千年！有一天，皇帝指着远方突然问她看，这都是你给朕打下的江山，所以你想不想当女帝？云曦满脸惊恐泥奏凯啊！女帝那么累人的差事，狗都不干！操了一辈子心，不该让她享受享受吗？...
大妖精
...
学霸女友也太宠了吧
轻松，日常，搞笑，单女主，狗粮文重生回高中时代就是来弥补遗憾的。这次我要当全能学霸，考第一当高考状元，以最高分进入名牌大学走上人生巅峰。在这段时间，我竟然发现了一个关于暗恋的秘密。她会在放学的时候小心翼翼的跟在我身后，在校运会举办期间时刻寻找我的踪影，在体育课自由活动时假装从我面前路过在车站故意多等一趟车就为了...