手机浏览器扫描二维码访问
第1281章（第1页）
如果说“图灵机”的构想是画地为牢，那么“类型”就是一副枷锁，将使用者牢牢束缚。
他确实是觉得这样很有趣。
图灵真人显得有些激动：“根据这理论当中的一些东西，我觉得，可以重新构造出一门全新的高级算器语言了——这能够极大的造福千机阁弟子！”
“语言？哦，语言！”冯落衣突然问道：“《形式语言学》，你已经了解过了吗？”
“怎么可能不了解？”图灵真人瞪大眼睛，反问道：“你弟子的成就，你自己就不关心吗？”
“嗯……了解倒是有了解……”冯落衣沉吟。
形式语言学，他了解得确实不多。
这几个月里，歌庭一直在秘密联系他，邀请他再做元算之算。
本来，冯落衣就觉得是自己支持王崎入道，而王崎的不周之算，否定了元算之算，他也颇为愧疚。
这大半年来，他的精神都投入其中了。
“有了王崎的形式语言学，做算器的语言，也就容易了许多。”图灵真人说道：“我觉得，你也可以好好了解一下。”
冯落衣点了点头：“确实……”
——不过，王崎发展“形式语言学”，也是为了这一成就做铺垫吗？
——端是深谋远虑！
“下一步，我打算尝试将类型纳入我的算器结构之中。”图灵真人如此说道：“说不定能够做出什么东西来。”
冯落衣点了点头：“嗯，王崎也是一般看法。”
只是，他始终有一道心思，放在元算之算上。
陈由嘉关于“无限公理”的阐释，也确实给了他灵感。
他已经想好自己的下一篇论文了。
……
“嘶，真是天才的想法！”海霆真人却比其他几人都要直接很多。
他看上去更为年少，从外表上看，倒与新崛起的一代修士更像是同时代的人物。
“陈由嘉……我记得，是王崎的道侣。”
“这么说来，是那个基派，也意识到自己过去的错误，想要来参悟连宗算理了？”
——不。
他自己否定了这个想法。
一个人转变想法，虽然困难，但还是有可能的。而一个学派，就没办法了。
黎京学派，分为老黎派和少黎派，也是这个原因。
白泽神君是离宗修士，自然不会容忍算君这样的异端。
好在白泽神君尚有容人之量，没有打压算君。
但就算如此，少黎派还是自立了。
就算基派成立时间尚浅，也不至于就这样集体转向。
“个人的行为？还是王崎的授意？”
系统之娇宠孕妻 赌妃在上，王爷在下 烈火燃情：高冷总裁滚远点 神偷长公主 捡到病娇太子之后（重生） 我是狠人大帝的同乡 一爱到底之顾少毒妻 悍妻[医道] 娱乐超级奶爸 断神 天地炼成 扛着boss拼下限（末世） 穿越之弃子国师 大明孤狼 直播和男神同居的日子 时光请善待我的她 废材重生：邪王独宠悍王妃 天黑请开眼 最强除妖师 眼镜兄撞上恶魔王子
明末英雄
没有虎躯没有王八之气更没有弱智光环道具。如何称王制霸解民于倒悬？知识才是古代乱世安身立命乃至树立权威的常见依靠。...
金主大人，请矜持
三年前的这一天，潜伏在黑暗中的魔鬼摩拳擦掌，终于忍不住探出一只手，将虞星念拽入无尽的黑暗。妹妹陷害，母亲离世，家族亲手把她送进离城监狱。裴凉城。未婚夫是吧，你越是渴望的东西，我就越是要摧毁。虞依依，我也要让你感受到，什么叫绝望。如果您喜欢金主大人，请矜持，别忘记分享给朋友...
明教教主
武侠大世界中，重生为阳顶天义子，谋九阳，炼乾坤，登临教主宝座！一统西域，争霸中原，一世称尊！无敌天下！如果您喜欢明教教主，别忘记分享给朋友...
长嫡风华
一碗堕胎药，一碗毒燕窝，了结了平王妃苏锦桐又蠢又可笑的一生，她死的那一天，平王携手她的亲妹妹登基为帝后。有幸回到豆蔻之龄，她誓要活出另一番精彩，护至亲，诛仇人，虐渣渣，日子过得不要太忙，世子爷你就不要过来凑热闹了。某男抱紧怀中温软，上天下地，饿了三世，总算如愿以偿，良宵苦短，咱们继续造人大业望着屁股后面跟着的五个小奶包，某女如果您喜欢长嫡风华，别忘记分享给朋友...
新修真大时代
当地球从千百年的封印之中解放出来，修炼重新成为了生活的主题这是一个陆羽在不经意之间成为了世界的主角的故事！如果您喜欢新修真大时代，别忘记分享给朋友...
步步惊婚
他是京都城最尊贵最神秘的男人，ZMI机关特工首脑。一个权倾天下的大人物。有多大？！他说，试过才知道！她是外地来京的犯罪心理学硕士，管教所心理辅导员。一个饥荒不饱的小人物。有多小？！她说，关你什么事？占色想不明白，为什么就上个厕所的工夫，也会被这样一个冷魅尊贵邪戾，霸道，牛逼…但凡小言男主身上的贴金词儿都能用...