手机浏览器扫描二维码访问
第1281章（第1页）
如果说“图灵机”的构想是画地为牢，那么“类型”就是一副枷锁，将使用者牢牢束缚。
他确实是觉得这样很有趣。
图灵真人显得有些激动：“根据这理论当中的一些东西，我觉得，可以重新构造出一门全新的高级算器语言了——这能够极大的造福千机阁弟子！”
“语言？哦，语言！”冯落衣突然问道：“《形式语言学》，你已经了解过了吗？”
“怎么可能不了解？”图灵真人瞪大眼睛，反问道：“你弟子的成就，你自己就不关心吗？”
“嗯……了解倒是有了解……”冯落衣沉吟。
形式语言学，他了解得确实不多。
这几个月里，歌庭一直在秘密联系他，邀请他再做元算之算。
本来，冯落衣就觉得是自己支持王崎入道，而王崎的不周之算，否定了元算之算，他也颇为愧疚。
这大半年来，他的精神都投入其中了。
“有了王崎的形式语言学，做算器的语言，也就容易了许多。”图灵真人说道：“我觉得，你也可以好好了解一下。”
冯落衣点了点头：“确实……”
——不过，王崎发展“形式语言学”，也是为了这一成就做铺垫吗？
——端是深谋远虑！
“下一步，我打算尝试将类型纳入我的算器结构之中。”图灵真人如此说道：“说不定能够做出什么东西来。”
冯落衣点了点头：“嗯，王崎也是一般看法。”
只是，他始终有一道心思，放在元算之算上。
陈由嘉关于“无限公理”的阐释，也确实给了他灵感。
他已经想好自己的下一篇论文了。
……
“嘶，真是天才的想法！”海霆真人却比其他几人都要直接很多。
他看上去更为年少，从外表上看，倒与新崛起的一代修士更像是同时代的人物。
“陈由嘉……我记得，是王崎的道侣。”
“这么说来，是那个基派，也意识到自己过去的错误，想要来参悟连宗算理了？”
——不。
他自己否定了这个想法。
一个人转变想法，虽然困难，但还是有可能的。而一个学派，就没办法了。
黎京学派，分为老黎派和少黎派，也是这个原因。
白泽神君是离宗修士，自然不会容忍算君这样的异端。
好在白泽神君尚有容人之量，没有打压算君。
但就算如此，少黎派还是自立了。
就算基派成立时间尚浅，也不至于就这样集体转向。
“个人的行为？还是王崎的授意？”
穿成流放文的极品小姑（穿书） 再见，我亲爱的封先生 风刃之芒 穿越千年，只为遇见你！ 孤手握三十万重兵，你让孤自裁？ 怪厨 穿成大佬假妹妹 震惊！这个男人能点化智械 雄虫他只想苟命[虫族] 重回86：大哥死前托妻给我 魂穿七零，这个世界我要做大女主 七零夜校女教师 富婆的快乐你不懂[神豪] 开局被女土匪看中，我占山为王 夫君热衷于给我捧场 十二鬼月横滨结仇日常 是你攻略不下的女主 我靠拾荒称霸三界 [原神]为了磕cp我连天理都能推翻 妻调令
我的狗狗公司闻名世界
...
特种岁月
男人一辈子最值得骄傲的事里包括服一次役，当一回特种兵，和世界上最强的军人交手。还有，为自己的祖国奉献一次青春，为这片热土上的人民拼一次命。这些，庄严都做到了。（此书致敬每一位曾为国家奉献过青春，流过血洒过汗的共和国军人！读者群号764555748）...
影后重生：厉先生撩妻成瘾
甜宠无虐＋日更＋萌宝＋智脑一个大佬和重生来的小媳妇甜蜜日常！一个娱乐小透明凭借智脑逆袭成超级影后的故事～...
总裁大人超给力
嫁给我，我可以替你报仇。陆白，亚洲第一跨国集团帝晟集团总裁，商业界最可怕的男人。传闻他身后有着最庞大的金融帝国，身边从未有过什么女人，传说他是夏儿想，管他呢，安心地做她的总裁夫人虐虐渣最好不过了。只是婚后生活渐渐地不一样了，看着报纸上帝晟总裁的采访，安夏儿方了你你你什么意思，不是说好我们隐婚的么老...
乱世情歌：农门女将
一朝重生，亲爹从军阵亡，亲娘病死，留下体弱的弟弟和青砖瓦房几间。无奈家有极品亲戚，占了我家房还想害我姐弟性命！幸得好心夫妻垂帘，才有这安稳日子过。偶然山中救得老道一位，得其倾囊相授修得一身好武艺。骤闻亲爹消息，变身潇洒少年郎，入了天下闻名的孟家军，立军功当将军，可是那个总阴魂不散的小王爷是要搞哪样？虾米？威胁我？...
我和大圣是兄弟
王虎穿越了，而且悲催的成了五指山下的一只老虎。我去，这是要做猴哥虎皮裙的节奏？王虎表示不服。作为一只21世纪穿越来的新时代老虎，怎么着也要和猴哥拜把子，做兄弟啊！此时此刻齐天大圣孙悟空被压五行山马上就满五百年，再有十年，波澜壮阔，影响三界格局的西天取经之旅就要开始，看王虎如何在其中搅动三界风云，与猴哥一起再掀万...