手机浏览器扫描二维码访问
第九十八章 型论第三更（第1页）
类型论的根基，是直觉主义逻辑。
海霆真人已经将离宗的“逻辑”吸收了过来，重写了算术公理，完成了连宗的逻辑。
类型论的目标，是“突破哥德尔不完备定理”，思路是“切断自我指涉”。
算主提出了绕过“哥德尔不完备定理”的思路，包括了“切断自我指涉”。
冯落衣为了证明“无穷公理”的安全性，而沿着这条思路走了下去。
可以说，万事俱备了。
然后，算君就贡献了……包含类型论结果的成就。
也就是兽机关集群的混沌拓扑网络算法。
算君并没有单独提出“类型论”，因为他确实对大家争来争去的基础算理不感兴趣。
但是，他也确实是天才，凭借自己的思考，就完成了这样一个严苛的系统。
这就好像用coq语言给你写一个完整的操作系统，还能运行得很顺畅，甚至界面还很优美一样，匪夷所思，令人惊叹。
王崎甚至怀疑，算君这一套做法，并非牺牲“图灵完备”，而是……算君压根就没在意什么“图灵完备”。
兽机关集群相当安全。用类型论的理论来看，它就是绝对的“强规范强类型”，不会输入任何“预料之外”的结果。一旦有丁点错误，就会直接停机给你看。
而在宏观上，则可以兼容冯落衣这一系的成就。
而就算宏观上的算来出现了问题，也智慧导致宏观层面的集群暂时失去凝聚力，而不是使得兽机关本身失控。
王崎思来想去，这种一不留神就灭星的玩意，也确实需要这种死板的东西来约束了。
如果要他用无类型、类型不安全的万象卦文直接写底层……
哈哈……哈哈哈哈……
可以说，类型论诞生的一切条件，都已经完好了。
只是目前，神州的连宗修士，对算器还有些不够重视。
他们还盯着基础算理的那一块，想要在这方面与离宗，与歌庭派决一死战。
对算器理论偶有涉猎，也只是为了“驳倒对方”而已。
但另王崎险些三观尽碎的是……
这样一个地球历史上是来自基础数学的成就，在这个世界，居然是从应用反推出去的……
“哈哈……哈哈哈哈……”王崎只得表示：“我感觉自己的知见障也确实蛮严重的……”
尽管今法修士从来都是以“打开黑箱”为荣，但是，在这个宇宙，就没办法完全规避“黑箱”带来的法术。
或者说，就没谁可以在无黑箱的情况下生活。
举个最直接的例子好了，如果非要懂得“中心法则”才能生娃的话，那人类就不用繁衍了——不过相对的，病毒也就不会传播了。
先有“应用”而后有“理论”，在哪个世界都是很常有的事情。
赵清潭错愕道：“师妹这成就，相当了不起啊……”
“是啊，相当了不起。”王崎摇了摇头：“神州怕是又要变天了。”
“什么意思？”
王崎道：“构造新的高级算器语言，变得更加简单了，因为有人直接将‘语言’的本质挑明了，所以，大家也就知道怎么构造‘傻子都能用’的语言了。”
强规范、强类型对智商的挑战在于，你必须戴着镣铐跳舞。因为失去了图灵完备，所以真的一点容错率都没有。
巨树领主 盛世花都 巫妖生存指南 谭笑风声里，灼灼桃之夭 先婚后爱：娇妻拒婚101次 运河之韵 灵异直播，女主她不想吓人 我，地球唯一超能力者 建立帝国从骑士次子开始 道化九界 什么？奥特曼是终身制的？ 敛财心 我的修真小米三 万苍天穹 西游：六岁熊孩子，开局怒怼观世音 月薪十万，女总裁她果然不只是让我当司机 舌尖天下 穿进语文书，从刺猹开始 网游航海之王 大明：开局剧透崇祯，重振河山
穿越1942有空间
民国时期军阀混乱，外敌入侵，天灾降临！当活着已经变成了奢望时，活着，如何更好的活下去则成了主角唯一的动力，且看新世纪的大龄单身主角侯小歌穿越到民国搅动风云。...
![穿成花瓶我摆烂退圈后爆红了[娱乐圈]](/img/1/1040.jpg)
穿成花瓶我摆烂退圈后爆红了[娱乐圈]
本书简介姜易安是爱豆里最会演戏的，影帝里最会唱跳的。然后他穿书了，穿成一个唱跳皆废，性格无趣，只有圈内神颜盘点会被拉出来的废物花瓶。姜易安那就直接开摆。他将上台绝不开麦，舞蹈永远划水的花瓶人设贯彻到底。网友废物点心滚出娱乐圈！好勒！他麻溜滚了。后来路人无意拍到退圈素人私下唱歌，音色舒展明亮，轻轻松松飙highc。黑粉假唱！粉丝瞎说！从不露脸的头部博主无意掉马，他几年前发布的跳着玩玩的舞蹈视频，卡点堪称一绝。黑粉替身！粉丝放屁！某旧剧花絮流出，导演痛心疾首将他演技超神的片段一剪梅，工作人员爆料是姜易安以撤资要挟导演干的。黑粉你是不是有病？粉丝我前担好像在玩一种很新的东西？姜易安已退圈，无cue。穿成花瓶我摆烂退圈后爆红了娱乐圈全文免费阅读，如果您喜欢穿成花瓶我摆烂退圈后爆红了娱乐圈暮西风最新章节，请分享给您的好友一起来免费阅读。魔蝎小说...
我在无限游戏收集怪物书
平平无奇的社畜打工人江邈，捡到一副发光扑克牌。提示音说joker随机选中了你，跟你开了一个大玩笑。请努力闯关生存下去，不要被割喉变麻辣兔头。当然，活不下去也没关系，随便你。下一秒，恐怖游戏地图加载完成。一段时间之后，江邈已然熟悉游戏套路。其他玩家好可怕！游戏第一喷子第一尖酸刻薄第一高端黑玩家江邈拍拍怪物的皮毛，拎起她的战利品，皮糙肉厚，适合做东北铁锅炖。江邈看着瑟瑟发抖的玩家，笑得比怪物还要恐怖废物们，你爹有没有教导过你们，在游戏里见到一个长相平平无奇的女人，要绕路走？那一天，枯坐在高山之上的神像，略有些委屈问江邈我是神，天地之主。为了消磨漫长的岁月，我创造了一个人类。我给了她世间难得的外表，独一无二的智慧，还有永不枯竭的财富，给她无穷无尽的爱。我问她愿意爱我吗？她拒绝了。江邈好聒噪的神。神明轻笑所以，我放逐了她，冷眼看她失去一切。没有失去过的人，不会懂得珍惜。江邈神明降临，你已经轮回百世了，玩得开心吗？学会如何爱人了吗？现在，我再问你一遍，你愿意爱我吗？江邈脆生生说出三个字不愿意。男主卒，全文终。fao长相普普通通性格日天日地日空气大女主，擅长口吐芬芳，一句话噎死人，扛怪主力，略拽心黑。／／ps主角团三人行。男主脸好看，其他不重要，男主也不重要。魔蝎小说...
郡主她幡然醒悟了
...
师妹改修无情道 ，全师门跪地挽留
前世，姜筱是个讨好型人格，对师兄师弟无微不至，对师尊敬仰有加，为了夺得他们的视线，姜筱和白莹莹争锋相对，落得个人人喊打，声名狼藉，被至亲之人杀害后！这一次姜筱重生归来，转身离开，入无情道！谁知，前世视她如舔狗的师兄弟们却开始哭着挽留！...
干掉天道后，我又想干掉主神
关于干掉天道后，我又想干掉主神玉止本是天道安排在小世界的最大反派，最大的作用就是给气运之子当飞升上神的踏脚石。谁知道玉止这个天选反派在修炼的时候竟然无意中参破天道，知道了自己注定悲剧的结局。为了不当天道的棋子，玉止努力修炼成为小世界中的战力天花板，还收气运之子为徒，夺取他身上的本源之力，试图和脱离天道的掌控。最后因为气运之子那个蠢货喜欢上玉止这个师傅，玉止的举动引起了天道的注意，在天道想要绞杀玉止的最后一刻，玉止拉着小世界一起毁灭了。苍驰身为小世界的主神，对玉止这个能够脱离天道掌控的灵魂产生兴趣，出手拯救她的灵魂，投入到新的小世界，希望她能够带给他惊喜。玉止再次恢复意识以后，在系统零的叙述下，她才知道她再次成为了反派，还是一个小反派。玉止勾唇一笑，这次，她不止想要脱离天道，还想ps女主没有心，女主经营的亲情，友情，爱情，都是女主为了达到目的从中获利的而伪装出来的假象。...