手机浏览器扫描二维码访问
第九十九章 前奏第四更（第2页）
他本能的感觉到，这一片看上去好像离宗连宗算理杂交产物的论文，蕴含着巨大的可能性。
于是，他快速连上了图灵真人。
“图灵道友，我这里有一篇论文，很有意思，希望你能看一看。”
半个时辰之后，图灵真人出现在万仙幻境之中：“这篇论文，真是了不得啊。”
对于类型论牺牲图灵完备的做法，他倒是没有任何意见。相反，他还觉得挺有趣的。
第一次想到有这样的结构。
如果说“图灵机”的构想是画地为牢，那么“类型”就是一副枷锁，将使用者牢牢束缚。
他确实是觉得这样很有趣。
图灵真人显得有些激动：“根据这理论当中的一些东西，我觉得，可以重新构造出一门全新的高级算器语言了——这能够极大的造福千机阁弟子！”
“语言？哦，语言！”冯落衣突然问道：“《形式语言学》，你已经了解过了吗？”
“怎么可能不了解？”图灵真人瞪大眼睛，反问道：“你弟子的成就，你自己就不关心吗？”
“嗯……了解倒是有了解……”冯落衣沉吟。
形式语言学，他了解得确实不多。
这几个月里，歌庭一直在秘密联系他，邀请他再做元算之算。
本来，冯落衣就觉得是自己支持王崎入道，而王崎的不周之算，否定了元算之算，他也颇为愧疚。
这大半年来，他的精神都投入其中了。
“有了王崎的形式语言学，做算器的语言，也就容易了许多。”图灵真人说道：“我觉得，你也可以好好了解一下。”
冯落衣点了点头：“确实……”
——不过，王崎发展“形式语言学”，也是为了这一成就做铺垫吗？
——端是深谋远虑！
“下一步，我打算尝试将类型纳入我的算器结构之中。”图灵真人如此说道：“说不定能够做出什么东西来。”
冯落衣点了点头：“嗯，王崎也是一般看法。”
只是，他始终有一道心思，放在元算之算上。
陈由嘉关于“无限公理”的阐释，也确实给了他灵感。
他已经想好自己的下一篇论文了。
……………………………………………………………………………………
“嘶，真是天才的想法！”海霆真人却比其他几人都要直接很多。
他看上去更为年少，从外表上看，倒与新崛起的一代修士更像是同时代的人物。
“陈由嘉……我记得，是王崎的道侣。”
“这么说来，是那个基派，也意识到自己过去的错误，想要来参悟连宗算理了？”
——不。
他自己否定了这个想法。
一个人转变想法，虽然困难，但还是有可能的。而一个学派，就没办法了。
黎京学派，分为老黎派和少黎派，也是这个原因。
白泽神君是离宗修士，自然不会容忍算君这样的异端。
好在白泽神君尚有容人之量，没有打压算君。
但就算如此，少黎派还是自立了。
就算基派成立时间尚浅，也不至于就这样集体转向。
“个人的行为？还是王崎的授意？”
穿进语文书，从刺猹开始 我，地球唯一超能力者 我的修真小米三 先婚后爱：娇妻拒婚101次 大明：开局剧透崇祯，重振河山 巨树领主 舌尖天下 万苍天穹 敛财心 运河之韵 灵异直播，女主她不想吓人 盛世花都 谭笑风声里，灼灼桃之夭 月薪十万，女总裁她果然不只是让我当司机 网游航海之王 巫妖生存指南 什么？奥特曼是终身制的？ 道化九界 建立帝国从骑士次子开始 西游：六岁熊孩子，开局怒怼观世音
我在永不磨灭的番号当政委
关于我在永不磨灭的番号当政委徐岩大本事，快来！这儿有野鸡脖子！李大本事谁说县大队不是主力？九纵司令员李大本事，恭喜你最近发财啊？李大本事徐岩本事，快来！这儿有大炮！吸铁石打碉堡很难？那不是一炮一个吗？九纵司令员李大本事，恭喜你最近发财啊？李大本事徐岩本事，快来，一仓库的白面啊！丁大算盘来来来，都参加我们县大队了啊，顿顿白面，餐餐有肉啊！九纵司令员李大本事，恭喜你最近发财啊？李大本事徐岩暴怒你们能不能别显摆了？我攒点儿家当容易吗？...
剑灵
剑灵是坏宝写的东方玄幻类小说门万千，强者如林。为了避免姐姐被恶少强娶，陆轩不得不努力修炼，加入宗门寻求庇佑。一颗来历神秘的剑型晶体，机缘巧合融入陆轩体内，无数顶尖功法，强大武技，应有尽有！一个武道的传奇，从此开始...
超宠！秦爷的闪婚娇妻从乡下来
唐晚卿，唐家不得宠的千金，母亲早逝，自幼跟着外公在乡下长大。某天，她从山旮旯回了帝都，家人唾弃她是个没见过世面的乡巴佬，只懂养猪种地，一无是处，豪门未婚夫更是光明正大劈腿心机妹妹。唐晚卿生气了吗？不，她直接逼着未婚夫退婚，然后又拉着帝都那个让人闻风丧胆的秦爷去领证，还和渣爹断了父女关系。可后来，随着一个个马甲掉落，...
小结巴失忆后，被高冷队长宠翻了
六月的徐城热浪滚烫，北郊GHI分局突然来了位清爽解暑的可人儿，眉如远山，眼似星辰，众人看的惊叹。然而这位帅哥来历不明缄默不语，除了长得好看，一问三不知。众人哦，是个哑巴啊。帅哥摇头我我不是众人哦，那是个结巴。帅哥点头嗯QAQ众人给出评价花瓶。可花瓶一个暴起就能单手制敌，空手夺刃，身手不凡。小结巴只会...
星际首富大小姐的破烂收藏
关于星际首富大小姐的破烂收藏沈沉浮在外流浪多年，被星际首富找回。家中养女对她敌意十足双胞胎弟弟嘲笑她没吃过肉学校同学看她翻垃圾桶，想要为她申请救济金学校还有一个冒领她身份的假千金她一个荒星人爱搞收藏的事传得沸沸扬扬，全校嘲她收藏的怕不是垃圾吧几乎所有人都以为她只是个荒星来的贫民窟人。军校联赛，人人也都以为她只是个C级空间系储物袋，出来混的花瓶废物。没想到她随手扔出来的都是高级异兽，又一掌把SS级拍飞，嘴里还说了句早就看你不顺眼了。星际为之震动你收藏的是真异兽啊？！对手没人告诉过我她是SSS级的空间系啊！队友我们也不知道啊！而室友拿着当初她不要的空间模型块瑟瑟发抖你没跟我说里面这玩意儿是真的啊！沈沉浮你们也没问我啊...
60年代，饥荒年，赶山挖百年参
关于60年代，饥荒年，赶山挖百年参张汉水穿越到60年代的长白山下，在这个缺衣少食，闹饥荒的年代，有钱也难买到粮，但有粮绝对NO1。有粮在手，什么都有，有空间，传承『医经』还懂医术，以物换物，赶山挖野菜，采蘑菇，下河抓鱼摸虾，挖百年人参，打猎，在现代与过去实现财富自由，成为首富。...