手机浏览器扫描二维码访问
第九十九章 前奏（第2页）
于是，他快速连上了图灵真人。
“图灵道友，我这里有一篇论文，很有意思，希望你能看一看。”
半个时辰之后，图灵真人出现在万仙幻境之中：“这篇论文，真是了不得啊。”
对于类型论牺牲图灵完备的做法，他倒是没有任何意见。相反，他还觉得挺有趣的。
第一次想到有这样的结构。
如果说“图灵机”的构想是画地为牢，那么“类型”就是一副枷锁，将使用者牢牢束缚。
他确实是觉得这样很有趣。
图灵真人显得有些激动：“根据这理论当中的一些东西，我觉得，可以重新构造出一门全新的高级算器语言了这能够极大的造福千机阁弟子！”
“语言？哦，语言！”冯落衣突然问道：“形式语言学，你已经了解过了吗？”
“怎么可能不了解？”图灵真人瞪大眼睛，反问道：“你弟子的成就，你自己就不关心吗？”
“嗯……了解倒是有了解……”冯落衣沉吟。
形式语言学，他了解得确实不多。
这几个月里，歌庭一直在秘密联系他，邀请他再做元算之算。
本来，冯落衣就觉得是自己支持王崎入道，而王崎的不周之算，否定了元算之算，他也颇为愧疚。
这大半年来，他的精神都投入其中了。
“有了王崎的形式语言学，做算器的语言，也就容易了许多。”图灵真人说道：“我觉得，你也可以好好了解一下。”
冯落衣点了点头：“确实……”
不过，王崎发展“形式语言学”，也是为了这一成就做铺垫吗？
端是深谋远虑！
“下一步，我打算尝试将类型纳入我的算器结构之中。”图灵真人如此说道：“说不定能够做出什么东西来。”
冯落衣点了点头：“嗯，王崎也是一般看法。”
只是，他始终有一道心思，放在元算之算上。
陈由嘉关于“无限公理”的阐释，也确实给了他灵感。
他已经想好自己的下一篇论文了。
……………………………………………………………………………………
“嘶，真是天才的想法！”海霆真人却比其他几人都要直接很多。
他看上去更为年少，从外表上看，倒与新崛起的一代修士更像是同时代的人物。
“陈由嘉……我记得，是王崎的道侣。”
“这么说来，是那个基派，也意识到自己过去的错误，想要来参悟连宗算理了？”
不。
他自己否定了这个想法。
一个人转变想法，虽然困难，但还是有可能的。而一个学派，就没办法了。
黎京学派，分为老黎派和少黎派，也是这个原因。
白泽神君是离宗修士，自然不会容忍算君这样的异端。
好在白泽神君尚有容人之量，没有打压算君。
但就算如此，少黎派还是自立了。
就算基派成立时间尚浅，也不至于就这样集体转向。
“个人的行为？还是王崎的授意？”
他也注意到，陈由嘉进行语言分类的时候，思路与“形式语言学”有一定的相似之处。
但形式语言学使用的算理，却是典型的离宗算理。
藏玉纳珠
玉若有魂，当如伊人。他隐身于庙堂之高，看得清天下，却看不清那看似卑贱的女人玉琢冰雕容貌下掩藏的真心。刃若有魄，当如斯人。她毕生的心愿不过是追求玉雕的极致技艺。奈何，这浮萍飘摇乱世，又怎么容得她这寄人篱下的下堂妇一朝成就匠魂之名？何况那个阴沉莫定的男人，倨傲地对她说若是牵住了我的手，就容不得你放开亲们久等了...
皇后是朕的黑月光
进宫前，顾云黛就被太子困在了厨房里。 进宫后，顾云黛一心想用药膳废了人渣。谁知太子妻妾迟迟无孕，她的肚子里却蹦了个儿子出来。 顾云黛本想母凭子贵安安静...
苏子悦秦慕沉
整个云州市的人都知道苏家有个臭名昭著的二小姐，没人愿意娶。苏子悦只好自己找人求嫁，好不容易嫁出去了，老公却是个三无男人，房子没有，车是借的，存款就不要问了，怕伤人自尊。可是，三无老公摇身一变，成为了响当当的欧洲金融大亨L．K集团的总裁，绝对的有钱有权的大人物，苏子悦一脸懵逼。你说你没房子？在云州市没有。你说车是借的！哦，那辆车我后来送给手下了。苏子悦怒了骗子！离婚！秦慕沉危险的眯起黑眸不负责你想白睡？苏子悦秒变怂货不不敢...
末世男在七零
Ps今天晚上会早点更新，二更在2点我奶极品中的战斗机，重男轻女天天想着算计女主一家来补贴她大儿子大孙子。爹娘计算着怎么压榨全家，把堂姐卖了，给儿子送去念书，盖房子，娶媳妇。上头七个姐姐都是扶弟狂魔，叔叔婶婶还在拼命生，心心念念都是生儿子，女主还在三婶肚子里。从末世而来，三观不太正的某人，万万没想到还有比自己无耻的家人，太棒了，所以他都不用下地干活了。还好他精神力跟了过来，第一天，李家的宝贝蛋跟娘斗智斗勇，先把奶断了。第二天，三岁看老，李家的孩子以后一定没出息，结果李家的小崽子指挥他爹带着木盆到了河边，对着河面嗷嗷几声，一条大鱼就跳进木盆。第三天，一大帮熊孩子都带着自己的家当，对着大河练嗓，仔细听，都是嗷嗷叫肉肉肉，不相邪又觉得丢面的大人，三更半夜的出来试一试。李寡妇横眉，全都是傻逼，当谁都有她孙子的福气啊！喜欢看年代文的小姐姐可以收藏我的专栏预收文①穿越在七零末～所有人都觉得知青回城后，会抛弃妻女，他就不预收文②八十年代之我是军嫂～鲤鱼精报恩，一心阻止婆家发财穿成极品奶奶～她只能静静地修真，为什么儿子戏这么多...
天价小娇妻：总裁的33日索情
做我的情人，到我玩腻为止。第一次见面，他强占她，逼她做情人。33日地狱般的索爱，沦为恶魔的禁脔。钱赚够那我滚了，再见。她包袱款款走得潇洒。恶魔总裁全世界通缉女人，想逃？先把我的心留下！这是一场征服与反征服的游戏，谁先动情谁输，她输不起，唯一能守住的...
一术镇天
传闻之中，九天之上，通天仙路，无上仙门，一踏而过，便可永生。然而修仙者为求永生，前赴后继，为何又成为苍天眼中的毒瘤？人有法术，仙有仙术，天亦有天术。天术镇压一切，乃万术之祖，世间万法莫不始于天术。苏夜，一个穿越而来差点被当做祭品献祭给九天仙神的卑微生灵，又将怎样踏遍万仙，一破仙门？各位书友要是觉得一术镇天还不错...