手机浏览器扫描二维码访问
第九十八章 型论（第1页）
（小燕文学WwW.XiaoYanwenXue.CoM）
亲~本站域名:"166小说"的简写谐音166xs.com，很好记哦！www.166xs.com好看的小说强烈推荐：类型论的根基，是直觉主义逻辑。
海霆真人已经将离宗的“逻辑”吸收了过来，重写了算术公理，完成了连宗的逻辑。
类型论的目标，是“突破哥德尔不完备定理”，思路是“切断自我指涉”。
算主提出了绕过“哥德尔不完备定理”的思路，包括了“切断自我指涉”。
冯落衣为了证明“无穷公理”的安全性，而沿着这条思路走了下去。
可以说，万事俱备了。
然后，算君就贡献了……包含类型论结果的成就。
也就是兽机络算法。
算君并没有单独提出“类型论”，因为他确实对大家争来争去的基础算理不感兴趣。
但是，他也确实是天才，凭借自己的思考，就完成了这样一个严苛的系统。
这就好像用oq语言给你写一个完整的操系统，还能运行得很顺畅，甚至界面还很优美一样，匪夷所思，令人惊叹。
王崎甚至怀疑，算君这一套做法，并非牺牲“图灵完备”，而是……算君压根就没在意什么“图灵完备”。
兽机关集群相当安全。用类型论的理论来看，它就是绝对的“强规范强类型”，不会输入任何“预料之外”的结果。一旦有丁点错误，就会直接停机给你看。
而在宏观上，则可以兼容冯落衣这一系的成就。
而就算宏观上的算来出现了问题，也智慧导致宏观层面的集群暂时失去凝聚力，而不是使得兽机关本身失控。
王崎思来想去，这种一不留神就灭星的玩意，也确实需要这种死板的东西来约束了。
如果要他用无类型、类型不安全的万象卦文直接写底层……
哈哈……哈哈哈哈……
可以说，类型论诞生的一切条件，都已经完好了。
只是目前，神州的连宗修士，对算器还有些不够重视。
他们还盯着基础算理的那一块，想要在这方面与离宗，与歌庭派决一死战。
对算器理论偶有涉猎，也只是为了“驳倒对方”而已。
但另王崎险些三观尽碎的是……
这样一个地球历史上是来自基础数學的成就，在这个世界，居然是从应用反推出去的……
“哈哈……哈哈哈哈……”王崎只得表示：“我感觉自己的知见障也确实蛮严重的……”
尽管今法修士从来都是以“打开黑箱”为荣，但是，在这个宇宙，就没办法完全规避“黑箱”带来的法术。
或者说，就没谁可以在无黑箱的情况下生活。
举个最直接的例子好了，如果非要懂得“中心法则”才能生娃的话，那人类就不用繁衍了不过相对的，病毒也就不会传播了。
先有“应用”而后有“理论”，在哪个世界都是很常有的事情。
赵清潭错愕道：“师妹这成就，相当了不起啊……”
“是啊，相当了不起。”王崎摇了摇头：“神州怕是又要变天了。”
“什么意思？”
王崎道：“构造新的高级算器语言，变得更加简单了，因为有人直接将‘语言’的本质挑明了，所以，大家也就知道怎么构造‘傻子都能用’的语言了。”
强规范、强类型对智商的挑战在于，你必须戴着镣铐跳舞。因为失去了图灵完备，所以真的一点容错率都没有。
纸醉江山 超级特警综合系统 美女教师的鬼医高手 权柄大明 鼎天武帝 网游之零纪元 重生之天生我才 霸隋 道梦之轮回 与女精灵的地球生活 苍天霸业 舞吧，傀儡 我叫布里茨 醉卧九天 黑暗剑圣 兽王三国 玄玑图 死亡神座 美女总裁老婆 神捕乱宋
这没有漫画的无聊世界
...
![顶流他妹靠沙雕爆红[穿书]](/img/105/105268.jpg)
顶流他妹靠沙雕爆红[穿书]
日更1，已肥可宰嗷小锦鲤精苏鱼鱼穿书了。系统叔叔跟她说，她刚出生不久就被坏人偷走，是手握炮灰剧本的小可怜女配。系统最后总结道，她今后的日子怕是不好过了。然而穿书当天苏鱼鱼的顶流哥哥和首富爸妈就找到了她。 系统？？？脸真疼，虽然并没有脸。 综艺带崽去旅行播出后，有个崽崽爆红了。捕鱼时众粉丝心疼的看着此时，弯着腰卷着袖子裤腿，脸上也有了少许泥巴的爱豆，他们费尽千辛万苦也才抓到一条鱼而已。就在这时，有些粉丝眼尖的看见，有鱼从河里跳进一个粉雕玉琢的崽崽，怀里抱着的竹篓里，还不止一条鱼！！！众观众鱼是在集体自杀吗？！表演才艺时众粉丝看着大展才艺的崽崽们，觉得与有荣焉。就在这时，苏鱼鱼说要哼唱催眠曲，还说真的可以治疗失眠，众粉丝觉得这孩子傻了。然而几秒后，重度失眠的影后，听着苏鱼鱼哼唱的歌睡着了。众粉丝还没来得及震惊，就看见原本站着唱歌的苏鱼鱼，也睡着了。众观众这就是传说中的站着睡觉吗？！ 猫舍拍摄短视频时众粉丝率先看见，身旁没有一只猫咪的四个崽崽，崽崽们目光专注的看着不远处。众粉丝顺着崽崽们的视线，看见了蹲在地上，被猫咪团团围住，似乎被封印住的苏鱼鱼。 众观众她上辈子是猫薄荷吗？！后来苏鱼鱼有了国民崽崽热搜常驻崽最萌打工崽锦鲤崽崽等称号。阅读指南沙雕养崽日常综艺专栏完结文，已肥可宰貔貅幼崽三岁半穿书崽崽们亲妈是万人迷穿书锦鲤女配是团宠穿书下面是两本预收文预收1小恶龙手握反派剧本江怀骁醒来后，一脸复杂的看着睡觉的妹妹。梦里，妹妹长大以后不仅变成了恋爱脑，还害的公司破产，最后甚至害死了爸妈。他苦笑着觉得，人生就像一本狗血小说。 跟妹妹一起长大的，家里保姆的小女儿苏茶和隔壁家的小男孩秦泽，两人就像小说的女主和男主。而妹妹则像是小说里，让人恨的牙痒痒的恶毒女配。自己和爸妈像是小说里，命运悲惨又必不可缺的炮灰。 妹妹睡醒后，就到了秦泽初次来家里的时间点。 江怀骁原以为妹妹看见秦泽后，会像梦里那样，猛地扑过去说小哥哥，好看。却没想到这次，妹妹奶声奶气的吐出两个字好丑。江怀骁？？？娇娇是一只爱美自恋又贪睡的幼龙。 她最喜欢躺在，由亮晶晶的宝石和金币堆成的小山上睡觉。 一觉醒来，娇娇发现自己竟然变成了人类幼崽。娇娇！！！ 预收2反派大佬重生后我被宠上天清棠穿成了炮灰女配。穿来时原身正以自杀相逼闹退婚，原身不愿嫁给意外成为植物人的反派，家人无奈下刚同意退婚，清棠就听到叮，恭喜绑定恋爱续命系统。现在发布第一个任务嫁给书中反派沈砚。完成任务后生命值1。宿主剩余生命值3，1生命值可存活一天。清棠？？？ 为了活命，清棠同意了婚事。当她以为日子会过的很艰难时，反派大佬醒了，他看向她的眼神里，带着不可思议和失而复得。清棠？？？大大佬，咱们认识吗？！ 沈砚醒来后，呆呆的看着病床旁边站着的，那个熟悉的人儿。 这一次，他一定要把清棠宠上天。＃反派大佬宠宠宠，往死里宠＃s作者专栏求收藏一起来养崽崽鸭...
神雕群芳谱
...
隐婚：我的老公是大佬
交往一年的平凡男朋友，突然变成顶级大佬是什么感觉？穆漓夕，女，二十六岁，大学毕业后嫁给了爱情，却用三年的婚姻证明了爱情和婚姻是两回事。被渣后，她决定余生只谈恋爱不结婚！遇上家境平凡的学霸唐同学，真的是偶然，在她的眼中，唐同学很完美，和她门当户对，没有穷困潦倒也不是大富大贵，性格也是好到没话说，妥妥的暖男一枚。她觉得，如果可以，也许能尝试再婚？谁知道，突然有一天，她发现了他顶级大佬的身份。她呵呵了，原来，她不过是顶级大佬吃惯了大鱼大肉之后，用来调节脾胃的清粥小菜，换换口味而已？罢了，一个男朋友而已，拜拜就拜拜，下一个更乖。这年头，谁还交不到几个男朋友？小奶狗小狼狗小鲜肉，比姐长得好看的，统统来一遍！...
慕总，夫人又掉马甲了
嗜血杀手阿九重生成顾家身体孱弱的小小姐。小小姐体弱多病命不久矣？没关系，她自带医术逆天改命！小小姐学渣无能每天被秒？没关系，她摘下眼镜蜕变学神实力碾压！小小姐穷酸小气爱财如命？没关系，她锦鲤体质转身成为江城首富！所以，这里并不需要男人。高冷男神慕先生缓步上前，我的名字只能出现在结婚证上。...
琴师的江湖日常
月出云一首忐忑送给大家，愿大家大吉大利，财源广进！秦阆歌妖孽看剑！月出云姑娘我看你头顶有一道灵光冲天而起，乃是万中无一的乐道天才，这首小蛮腰十两银子卖给你了！夜筱筱妖孽看剑！月出云师父大人，你为何依旧如此咸鱼！倾城妖孽看锤子！月出云不要叫我琴师，请叫我老琴爹阁下。总...