手机浏览器扫描二维码访问
第九十九章 前奏（第2页）
他本能的感觉到，这一片看上去好像离宗连宗算理杂交产物的论文，蕴含着巨大的可能性。
于是，他快速连上了图灵真人。
“图灵道友，我这里有一篇论文，很有意思，希望你能看一看。”
半个时辰之后，图灵真人出现在万仙幻境之中：“这篇论文，真是了不得啊。”
对于类型论牺牲图灵完备的做法，他倒是没有任何意见。相反，他还觉得挺有趣的。
第一次想到有这样的结构。
如果说“图灵机”的构想是画地为牢，那么“类型”就是一副枷锁，将使用者牢牢束缚。
他确实是觉得这样很有趣。
图灵真人显得有些激动：“根据这理论当中的一些东西，我觉得，可以重新构造出一门全新的高级算器语言了——这能够极大的造福千机阁弟子！”
“语言？哦，语言！”冯落衣突然问道：“《形式语言学》，你已经了解过了吗？”
“怎么可能不了解？”图灵真人瞪大眼睛，反问道：“你弟子的成就，你自己就不关心吗？”
“嗯……了解倒是有了解……”冯落衣沉吟。
形式语言学，他了解得确实不多。
这几个月里，歌庭一直在秘密联系他，邀请他再做元算之算。
本来，冯落衣就觉得是自己支持王崎入道，而王崎的不周之算，否定了元算之算，他也颇为愧疚。
这大半年来，他的精神都投入其中了。
“有了王崎的形式语言学，做算器的语言，也就容易了许多。”图灵真人说道：“我觉得，你也可以好好了解一下。”
冯落衣点了点头：“确实……”
——不过，王崎发展“形式语言学”，也是为了这一成就做铺垫吗？
——端是深谋远虑！
“下一步，我打算尝试将类型纳入我的算器结构之中。”图灵真人如此说道：“说不定能够做出什么东西来。”
冯落衣点了点头：“嗯，王崎也是一般看法。”
只是，他始终有一道心思，放在元算之算上。
陈由嘉关于“无限公理”的阐释，也确实给了他灵感。
他已经想好自己的下一篇论文了。
……………………………………………………………………………………
“嘶，真是天才的想法！”海霆真人却比其他几人都要直接很多。
他看上去更为年少，从外表上看，倒与新崛起的一代修士更像是同时代的人物。
“陈由嘉……我记得，是王崎的道侣。”
“这么说来，是那个基派，也意识到自己过去的错误，想要来参悟连宗算理了？”
——不。
他自己否定了这个想法。
一个人转变想法，虽然困难，但还是有可能的。而一个学派，就没办法了。
黎京学派，分为老黎派和少黎派，也是这个原因。
白泽神君是离宗修士，自然不会容忍算君这样的异端。
好在白泽神君尚有容人之量，没有打压算君。
但就算如此，少黎派还是自立了。
就算基派成立时间尚浅，也不至于就这样集体转向。
“个人的行为？还是王崎的授意？”
他也注意到，陈由嘉进行语言分类的时候，思路与“形式语言学”有一定的相似之处。
玄玑图 与女精灵的地球生活 苍天霸业 舞吧，傀儡 网游之零纪元 神捕乱宋 鼎天武帝 死亡神座 美女总裁老婆 纸醉江山 道梦之轮回 超级特警综合系统 醉卧九天 我叫布里茨 黑暗剑圣 重生之天生我才 兽王三国 霸隋 美女教师的鬼医高手 权柄大明
你是人间星火
乔南和梁非城的爱情角逐就是我爱你的时候，你想杀了我，我不爱你的时候，你偏偏缠着我。三年前，乔南被迫顶罪，留在梁非城身边赎罪。她被夺去自由，囚禁在梁公馆成为最下等的佣人。乔南以为能争取到自由的那一天，可转身就是梁非城将她送进疯人院。铺天盖地是他要和别的女人订婚的消息。大雨倾盆，乔南抱着死去的亲人，心死如灰...
异界全系天才
天地之枷锁，命运之轨迹，不过过眼云烟，可笑的谎言。我从不信命，只信自己。运已不在，我独自前行，登临那九天仙境。这条路上，是杀戮与暴戾，那么我便以杀止杀，以暴制暴，只为兑现昔日的诺言。我之名或遗臭万年，但那也随他吧！我接受放逐系统已激活！启动天赋改造熔炉...
某美漫的一方通行
路一方魂穿到漫威世界，没有获得什么开挂的系统，却在成年之即觉醒成为了强的开挂的变种人，拥有着一方通行的能力矢量控制。于是一个誓要逆转变种人的悲催未来，带领...
妙手小村医
王大虎摔了个狗啃泥，划破了手，不想却得了异能，先是力大无穷，后是可医外伤内急，尤其是对女人，一时间咸鱼翻身，桃运连连...
极品上门神医
叶晨重生了，重生到个一无所成的废物身上，还是一个上门女婿，有一个漂亮的老婆，却仅仅是名义上的。还被老丈人一家看不起！好办！且看我如何逆转老丈人一家对我的印像，让老婆爱上我！没事救救人，唱唱小曲，装装逼！ampldquo对不起，这位姑娘，你不能爱上我，因为我是有老婆的人！amprdquo...
名门大少独宠辣妻
搜小说免费提供作者雪含烟的经典小说名门大少独宠辣妻最新章节全文阅读服务本站更新及时无弹窗广告欢迎光临观看小说她，叶落热情火辣，身世凄迷，美艳诱人的外表下，是不堪回首的悲惨往事。他，花墨城邪魅多情，身家显赫，俊逸无双的皮囊下，是阴暗重重的豪门暗殇。身世之谜，家族内斗，豪门恩怨。...