手机浏览器扫描二维码访问
第九十八章 型论第三更（第1页）
类型论的根基，是直觉主义逻辑。
海霆真人已经将离宗的“逻辑”吸收了过来，重写了算术公理，完成了连宗的逻辑。
类型论的目标，是“突破哥德尔不完备定理”，思路是“切断自我指涉”。
算主提出了绕过“哥德尔不完备定理”的思路，包括了“切断自我指涉”。
冯落衣为了证明“无穷公理”的安全性，而沿着这条思路走了下去。
可以说，万事俱备了。
然后，算君就贡献了……包含类型论结果的成就。
也就是兽机关集群的混沌拓扑网络算法。
算君并没有单独提出“类型论”，因为他确实对大家争来争去的基础算理不感兴趣。
但是，他也确实是天才，凭借自己的思考，就完成了这样一个严苛的系统。
这就好像用coq语言给你写一个完整的操作系统，还能运行得很顺畅，甚至界面还很优美一样，匪夷所思，令人惊叹。
王崎甚至怀疑，算君这一套做法，并非牺牲“图灵完备”，而是……算君压根就没在意什么“图灵完备”。
兽机关集群相当安全。用类型论的理论来看，它就是绝对的“强规范强类型”，不会输入任何“预料之外”的结果。一旦有丁点错误，就会直接停机给你看。
而在宏观上，则可以兼容冯落衣这一系的成就。
而就算宏观上的算来出现了问题，也智慧导致宏观层面的集群暂时失去凝聚力，而不是使得兽机关本身失控。
王崎思来想去，这种一不留神就灭星的玩意，也确实需要这种死板的东西来约束了。
如果要他用无类型、类型不安全的万象卦文直接写底层……
哈哈……哈哈哈哈……
可以说，类型论诞生的一切条件，都已经完好了。
只是目前，神州的连宗修士，对算器还有些不够重视。
他们还盯着基础算理的那一块，想要在这方面与离宗，与歌庭派决一死战。
对算器理论偶有涉猎，也只是为了“驳倒对方”而已。
但另王崎险些三观尽碎的是……
这样一个地球历史上是来自基础数学的成就，在这个世界，居然是从应用反推出去的……
“哈哈……哈哈哈哈……”王崎只得表示：“我感觉自己的知见障也确实蛮严重的……”
尽管今法修士从来都是以“打开黑箱”为荣，但是，在这个宇宙，就没办法完全规避“黑箱”带来的法术。
或者说，就没谁可以在无黑箱的情况下生活。
举个最直接的例子好了，如果非要懂得“中心法则”才能生娃的话，那人类就不用繁衍了——不过相对的，病毒也就不会传播了。
先有“应用”而后有“理论”，在哪个世界都是很常有的事情。
赵清潭错愕道：“师妹这成就，相当了不起啊……”
“是啊，相当了不起。”王崎摇了摇头：“神州怕是又要变天了。”
“什么意思？”
王崎道：“构造新的高级算器语言，变得更加简单了，因为有人直接将‘语言’的本质挑明了，所以，大家也就知道怎么构造‘傻子都能用’的语言了。”
强规范、强类型对智商的挑战在于，你必须戴着镣铐跳舞。因为失去了图灵完备，所以真的一点容错率都没有。
我，地球唯一超能力者 灵异直播，女主她不想吓人 先婚后爱：娇妻拒婚101次 西游：六岁熊孩子，开局怒怼观世音 道化九界 万苍天穹 运河之韵 敛财心 我的修真小米三 巨树领主 月薪十万，女总裁她果然不只是让我当司机 建立帝国从骑士次子开始 穿进语文书，从刺猹开始 舌尖天下 谭笑风声里，灼灼桃之夭 什么？奥特曼是终身制的？ 大明：开局剧透崇祯，重振河山 巫妖生存指南 盛世花都 网游航海之王
武侠：重生第一剑，先斩意中人！
关于武侠重生第一剑，先斩意中人！庄生一梦，三流职业玩家邱白，回到了十年前新婚后的清晨。在他恢复意识后，所做的第一件事情，不是买股票，也不是谢上帝。而是不顾一切地向一旁的新婚妻子，大喊出了两个字。离婚！重生第一剑，先斩意中人。心中无女人，拔剑自然神。这是一个兔子变老虎，咸鱼化蛟龙的故事。离婚只是开始，后续才是征途。那年虚拟游戏开服，一批批未来的亿万富豪，命运的齿轮才刚刚转动。那年志向仍犹在，孽障未缠身，一切皆有可能！那年青春正好，腰未弯，意气无限，斗酒敢为天下先！男儿负壮气，奋烈自有时。但得倚天剑，跨海斩长鲸。...
震惊！我有军火商系统
...
掉在地上的月亮
关于掉在地上的月亮简招娣十四岁以前，在乡下苦水里泡大。跟着父母进城后，十六岁嫁给一个老鳏夫，被家暴致死。重生归来，她想改变自己的命运。跪求过燕馨宁，上过吊，跳过井，撒泼打滚，爬床，她孤注一掷，却仍然没能挣脱背后掌控她命运的那双黑手。结局照旧重复上一世的轨迹，还落下忘恩负义，被人抓奸在床的骂名。第十六代毒医传人简月踏破虚空而来，接管了简招娣两世都没能翻盘的烂摊子求解怎么破局？姬云重小月儿，我愿陪你走遍万水千山。简月你一个混吃等死的纨绔，有游山玩水的资本吗？...
崛起于平凡
愿～所有的平凡都能够崛起，走向不平凡。这是一个普通人穿越到异界当神明的故事，这是一个从平凡走向崛起的故事。李良买菜回家，一开家门家变成了皇宫，身前，美丽的一国公主正破涕为笑的看着李良，在看了两秒后直接晕倒，倒向李良...
好爽！抢渣男遗产，当渣男舅妈
关于好爽！抢渣男遗产，当渣男舅妈沈禾爱了穆霆蕴四年，直到被剖心惨死，才知道她是男友小青梅的最佳供体！为调查长姐之死，替她伸冤，沈家四个弟弟也都惨遭毒手。大堂弟被活埋，封尸水泥坑天才二堂弟被构陷入狱，毒成痴傻重活一世，沈禾化身为腹黑绿茶。斗渣男，让他血债血偿！护兄弟，带领沈家成为名门！断情绝爱的沈禾，只想找个基因优良的男人，去父留子。她盯上了禁欲大佬，商界巨擘宋敬呈。哪知，对方竟也是重生的，还早早就做了接扎手术！梦想泡了汤，赶紧跑！男人却将她堵在墙角穆霆蕴辜负你太多，身为长辈是我管教不严，我应该给你一些补偿。沈禾给多少？有钱不要是傻子。男人将一份遗产公证拍到沈禾怀里这辈子，我都给你做牛做马。沈禾，你愿意做我的遗产继承人吗？后来。遗产继承人是她，孩子的妈妈是她，宋家主母也是她。...
重回年代赶海打猎
陈辉哥，你娶我吧！你看我们都这样了…陈辉没想到自己还能重生。更没想到上辈子无父无母无妻徒刑过了几十年，重生之后的第一件事居然是结婚。花花世界已经看遍。这一辈子，陈辉只想下海抓鱼，上山打猎，赶赶海，采采菇。就在这个小村里，跟白月光过你侬我侬没羞没臊的小日子。（年代上山下海日常宠妻家，家长里短，悠闲时光，不喜勿喷！）...