手机浏览器扫描二维码访问
第1281章（第1页）
如果说“图灵机”的构想是画地为牢，那么“类型”就是一副枷锁，将使用者牢牢束缚。
他确实是觉得这样很有趣。
图灵真人显得有些激动：“根据这理论当中的一些东西，我觉得，可以重新构造出一门全新的高级算器语言了——这能够极大的造福千机阁弟子！”
“语言？哦，语言！”冯落衣突然问道：“《形式语言学》，你已经了解过了吗？”
“怎么可能不了解？”图灵真人瞪大眼睛，反问道：“你弟子的成就，你自己就不关心吗？”
“嗯……了解倒是有了解……”冯落衣沉吟。
形式语言学，他了解得确实不多。
这几个月里，歌庭一直在秘密联系他，邀请他再做元算之算。
本来，冯落衣就觉得是自己支持王崎入道，而王崎的不周之算，否定了元算之算，他也颇为愧疚。
这大半年来，他的精神都投入其中了。
“有了王崎的形式语言学，做算器的语言，也就容易了许多。”图灵真人说道：“我觉得，你也可以好好了解一下。”
冯落衣点了点头：“确实……”
——不过，王崎发展“形式语言学”，也是为了这一成就做铺垫吗？
——端是深谋远虑！
“下一步，我打算尝试将类型纳入我的算器结构之中。”图灵真人如此说道：“说不定能够做出什么东西来。”
冯落衣点了点头：“嗯，王崎也是一般看法。”
只是，他始终有一道心思，放在元算之算上。
陈由嘉关于“无限公理”的阐释，也确实给了他灵感。
他已经想好自己的下一篇论文了。
……
“嘶，真是天才的想法！”海霆真人却比其他几人都要直接很多。
他看上去更为年少，从外表上看，倒与新崛起的一代修士更像是同时代的人物。
“陈由嘉……我记得，是王崎的道侣。”
“这么说来，是那个基派，也意识到自己过去的错误，想要来参悟连宗算理了？”
——不。
他自己否定了这个想法。
一个人转变想法，虽然困难，但还是有可能的。而一个学派，就没办法了。
黎京学派，分为老黎派和少黎派，也是这个原因。
白泽神君是离宗修士，自然不会容忍算君这样的异端。
好在白泽神君尚有容人之量，没有打压算君。
但就算如此，少黎派还是自立了。
就算基派成立时间尚浅，也不至于就这样集体转向。
“个人的行为？还是王崎的授意？”
眼镜兄撞上恶魔王子 我是狠人大帝的同乡 天黑请开眼 神偷长公主 烈火燃情：高冷总裁滚远点 断神 时光请善待我的她 悍妻[医道] 捡到病娇太子之后（重生） 扛着boss拼下限（末世） 大明孤狼 直播和男神同居的日子 穿越之弃子国师 娱乐超级奶爸 系统之娇宠孕妻 废材重生：邪王独宠悍王妃 赌妃在上，王爷在下 一爱到底之顾少毒妻 天地炼成 最强除妖师
我的前夫是总裁大人
苏晓北兢兢业业做着秘书的本职工作，一次误会被媒体当成了总裁的未婚妻。而也是这次误会，让苏晓北发现了总裁惊人的秘密，原来自己曾与总裁有段情缘，还有一个三岁的爱情结晶。发现了秘密的苏晓北，不知该何去何从？如果您喜欢我的前夫是总裁大人，别忘记分享给朋友...
再见初心：双面小萝莉
再见初心双面小萝莉是仇若涵的经典其他类型类作品，再见初心双面小萝莉主要讲述了初心年轻时看不起贫穷落后的小城，远走大城市，在上海安家。二十仇若涵最新鼎力大作，年度必看其他类型。海棠屋（hai...
玩转电竞：大神萌妻带回家
Kpl最婊男选手陆衍的择偶标准是长得比我好看的，妲己玩的比我骚的。步谣无语吐槽你果然不喜欢人类。点开游戏界面，看到一条亲密关系申请队长申请成为你的恋人。步谣懵了，这是几个意思？骂我不是人？如果您喜欢玩转电竞大神萌妻带回家，别忘记分享给朋友...
贼婿
穿越乱世，五国争雄，命如草芥。方贤身陷青云寨牢房却稳如老狗还好，我有系统。救老寨主后，被逼娶少寨主，方贤只得加入山寨成为一名贼婿。如果您喜欢贼婿，别忘记分享给朋友...
大唐：鬼谷传人，开局救了李世民
那时长安，烈酒豪肠三分剑气，七分月光绣口一吐，半个盛唐如果您喜欢大唐鬼谷传人，开局救了李世民，别忘记分享给朋友...
港片：出狱当天，十万帮众相迎！
关于港片出狱当天，十万帮众相迎！楚绍穿越成为炸天帮帮主并深陷牢狱之中，还有一百天才能出狱。监狱之中各方势力都想要找他的麻烦，恰好在此刻他却激活了全能系统。从此，监狱之中他说一不二，而外界他的传说也悄然展开。杀手雄绍爷，以后这监狱中您说的算。鬼见愁绍爷带我赚了三个亿，以后您就是我再生父母。西仓天王黄泉绍爷力度怎么样，不合适您尽管吩咐。王小龙绍哥...