手机浏览器扫描二维码访问
第1281章（第1页）
如果说“图灵机”的构想是画地为牢，那么“类型”就是一副枷锁，将使用者牢牢束缚。
他确实是觉得这样很有趣。
图灵真人显得有些激动：“根据这理论当中的一些东西，我觉得，可以重新构造出一门全新的高级算器语言了——这能够极大的造福千机阁弟子！”
“语言？哦，语言！”冯落衣突然问道：“《形式语言学》，你已经了解过了吗？”
“怎么可能不了解？”图灵真人瞪大眼睛，反问道：“你弟子的成就，你自己就不关心吗？”
“嗯……了解倒是有了解……”冯落衣沉吟。
形式语言学，他了解得确实不多。
这几个月里，歌庭一直在秘密联系他，邀请他再做元算之算。
本来，冯落衣就觉得是自己支持王崎入道，而王崎的不周之算，否定了元算之算，他也颇为愧疚。
这大半年来，他的精神都投入其中了。
“有了王崎的形式语言学，做算器的语言，也就容易了许多。”图灵真人说道：“我觉得，你也可以好好了解一下。”
冯落衣点了点头：“确实……”
——不过，王崎发展“形式语言学”，也是为了这一成就做铺垫吗？
——端是深谋远虑！
“下一步，我打算尝试将类型纳入我的算器结构之中。”图灵真人如此说道：“说不定能够做出什么东西来。”
冯落衣点了点头：“嗯，王崎也是一般看法。”
只是，他始终有一道心思，放在元算之算上。
陈由嘉关于“无限公理”的阐释，也确实给了他灵感。
他已经想好自己的下一篇论文了。
……
“嘶，真是天才的想法！”海霆真人却比其他几人都要直接很多。
他看上去更为年少，从外表上看，倒与新崛起的一代修士更像是同时代的人物。
“陈由嘉……我记得，是王崎的道侣。”
“这么说来，是那个基派，也意识到自己过去的错误，想要来参悟连宗算理了？”
——不。
他自己否定了这个想法。
一个人转变想法，虽然困难，但还是有可能的。而一个学派，就没办法了。
黎京学派，分为老黎派和少黎派，也是这个原因。
白泽神君是离宗修士，自然不会容忍算君这样的异端。
好在白泽神君尚有容人之量，没有打压算君。
但就算如此，少黎派还是自立了。
就算基派成立时间尚浅，也不至于就这样集体转向。
“个人的行为？还是王崎的授意？”
九子登云的作品武裂苍穹 七零空间小娇女 穿成大佬假妹妹 武裂苍穹秦天青儿百度云 就想和你在一起 神道丹帝叶尘苏傲雪全本免费阅读 替嫁给病弱佛修太子后他破戒了姜南枝容司璟全文免费完结版 替嫁给病弱佛修太子后他破戒了姜南枝容司璟番外 唐老太的种田生活 人人都爱马文才 贵门妾 武裂苍穹秦天青儿全集免费阅读 替嫁给病弱佛修太子后他破戒了姜南枝容司璟后续 天才高手 玄学大佬在现代 周一见 封先生的宠爱 一觉醒来怀了崽 替嫁给病弱佛修太子后他破戒了姜南枝容司璟更新 穿书之末世娇宠
全位面恶魔导师
神为我徒，神为我仆，神为我友，我为人人。恶魔导师的教导下，万族皆可成神。平息末日，扭合位面，只为传递浩瀚真知。如果您喜欢全位面恶魔导师，别忘记分享给朋友...
抗日之煞神传奇
抗日之煞神传奇简介emspemsp关于抗日之煞神传奇独来独往，杀倭割头，以一敌千，抗日无敌。他流落到抗日时期，终于找到了理想，血不再是冷的，沸腾复仇的血液，一个人，四处追杀鬼子，专门割掉鬼子的脑袋叠成塔，一个人，将中华大地上的...
十八岁后，我成为了超级富二代
爸，我闯大祸了。怎么了儿子，你违法犯罪了？我我欠了高利贷哦，跟钱有关啊，那没事了。苏念？？？我爹…真的成龙了！本书为治愈系都市日常爽文，带你体现富二代的人生...
玩转电竞：大神萌妻带回家
Kpl最婊男选手陆衍的择偶标准是长得比我好看的，妲己玩的比我骚的。步谣无语吐槽你果然不喜欢人类。点开游戏界面，看到一条亲密关系申请队长申请成为你的恋人。步谣懵了，这是几个意思？骂我不是人？如果您喜欢玩转电竞大神萌妻带回家，别忘记分享给朋友...
仙道之主
仙者，高踞九天，三千年为春，三千年为秋。悠悠万载，只称一春秋。人者，苟且于地下，寿不过百年，未见春秋，已成灰土。可是，我来了！天虽高？却没有我心高！春秋虽远，却没有我剑远。我剑，上斩九天，下斩万仙。苍茫仙道，我为主！...
从淘金开始的财阀
谢金是一个在美国留学的留学生，因为一次意外，获得了特殊能力，能够让他探测到一定范围之内的所有物品的属性，因为这个能力，他从淘金开始，逐渐走向了白头鹰国的财富最巅峰。（无虐，无郁闷，有逻辑，爽快合理北美财阀崛起之路）如果您喜欢从淘金开始的财阀，别忘记分享给朋友...