手机浏览器扫描二维码访问
第九十九章 前奏第四更（第2页）
他本能的感觉到，这一片看上去好像离宗连宗算理杂交产物的论文，蕴含着巨大的可能性。
于是，他快速连上了图灵真人。
“图灵道友，我这里有一篇论文，很有意思，希望你能看一看。”
半个时辰之后，图灵真人出现在万仙幻境之中：“这篇论文，真是了不得啊。”
对于类型论牺牲图灵完备的做法，他倒是没有任何意见。相反，他还觉得挺有趣的。
第一次想到有这样的结构。
如果说“图灵机”的构想是画地为牢，那么“类型”就是一副枷锁，将使用者牢牢束缚。
他确实是觉得这样很有趣。
图灵真人显得有些激动：“根据这理论当中的一些东西，我觉得，可以重新构造出一门全新的高级算器语言了——这能够极大的造福千机阁弟子！”
“语言？哦，语言！”冯落衣突然问道：“《形式语言学》，你已经了解过了吗？”
“怎么可能不了解？”图灵真人瞪大眼睛，反问道：“你弟子的成就，你自己就不关心吗？”
“嗯……了解倒是有了解……”冯落衣沉吟。
形式语言学，他了解得确实不多。
这几个月里，歌庭一直在秘密联系他，邀请他再做元算之算。
本来，冯落衣就觉得是自己支持王崎入道，而王崎的不周之算，否定了元算之算，他也颇为愧疚。
这大半年来，他的精神都投入其中了。
“有了王崎的形式语言学，做算器的语言，也就容易了许多。”图灵真人说道：“我觉得，你也可以好好了解一下。”
冯落衣点了点头：“确实……”
——不过，王崎发展“形式语言学”，也是为了这一成就做铺垫吗？
——端是深谋远虑！
“下一步，我打算尝试将类型纳入我的算器结构之中。”图灵真人如此说道：“说不定能够做出什么东西来。”
冯落衣点了点头：“嗯，王崎也是一般看法。”
只是，他始终有一道心思，放在元算之算上。
陈由嘉关于“无限公理”的阐释，也确实给了他灵感。
他已经想好自己的下一篇论文了。
……………………………………………………………………………………
“嘶，真是天才的想法！”海霆真人却比其他几人都要直接很多。
他看上去更为年少，从外表上看，倒与新崛起的一代修士更像是同时代的人物。
“陈由嘉……我记得，是王崎的道侣。”
“这么说来，是那个基派，也意识到自己过去的错误，想要来参悟连宗算理了？”
——不。
他自己否定了这个想法。
一个人转变想法，虽然困难，但还是有可能的。而一个学派，就没办法了。
黎京学派，分为老黎派和少黎派，也是这个原因。
白泽神君是离宗修士，自然不会容忍算君这样的异端。
好在白泽神君尚有容人之量，没有打压算君。
但就算如此，少黎派还是自立了。
就算基派成立时间尚浅，也不至于就这样集体转向。
“个人的行为？还是王崎的授意？”
谭笑风声里，灼灼桃之夭 灵异直播，女主她不想吓人 建立帝国从骑士次子开始 舌尖天下 盛世花都 先婚后爱：娇妻拒婚101次 网游航海之王 大明：开局剧透崇祯，重振河山 什么？奥特曼是终身制的？ 敛财心 巫妖生存指南 我的修真小米三 穿进语文书，从刺猹开始 巨树领主 西游：六岁熊孩子，开局怒怼观世音 运河之韵 道化九界 万苍天穹 月薪十万，女总裁她果然不只是让我当司机 我，地球唯一超能力者
别太努力，老婆被人惦记上了
昨日，文静温婉的她，主动释放出暗藏的另一面，那是我从未见识过缱绻风情你原来是这样的女人啊！当天离了婚，身无分文，前女友突然出现，求鉴定孩子的爸爸。呵又是一个神魂攻击！还告知寻到了我的家人。呵我都忘记了我是个孤儿...
伏天氏
东方神州，有人皇立道统，有圣贤宗门传道，有诸侯雄踞一方王国，诸强林立，神州动乱千万载，值此之时，一代天骄叶青帝及东凰大帝横空出世，东方神州一统！然，叶青帝忽然暴毙，世间雕像尽皆被毁，于世间除名，沦为禁忌从此神州唯东凰大帝独尊！十五年后，东海青州城，一名为叶伏天的少年，开启了他的传奇之路…...
被雪豹崽崽碰瓷了
本书简介 相依为命的师父去世后，洛予独自在偏远星球生活。落后小镇的日子平淡而宁静，直到有一天在路上被从天而降的毛茸茸碰瓷。雪豹崽崽又乖又萌，撒娇打滚爬树样样精通。唯一不好的一点是，小镇的医疗技术落后，检测不出这是只单纯的雪豹幼崽，还是个变身困难的笨蛋幼年兽人。没办法，洛予只能带着崽崽去主星进一步检查。进港，登舰，抵达。刚走出运输舰不到十米，就连人带崽被治安官拦下。先生，您涉嫌拐卖兽人幼崽，麻烦跟我们走一趟。洛予现在说是自己捡到的还来得及吗？被雪豹崽崽碰瓷了全文免费阅读，如果您喜欢被雪豹崽崽碰瓷了薄香奶茶最新章节，请分享给您的好友一起来免费阅读。魔蝎小说...
大明，开局挖了朱元璋祖坟
关于大明，开局挖了朱元璋祖坟杨鸣穿越到了大明洪武三年。但是杨鸣只想回到现代社会。他放不下新婚的妻子和新买的大平层。系统提示只要被人杀死就能穿越回去。于是杨鸣开始了疯狂寻死之路。要想死的快，就要去谋反。杨鸣带人攻陷了凤阳，直接挖了朱元璋的祖坟。朱元璋咬牙切齿你造反的时候，为何不告官？杨鸣你造反的时候咋不告官？朱元璋勃然大怒！杨鸣拜见蓝玉。太子朱标要死了，你的下场很悲剧，不如我们直接反了吧！蓝玉惊恐万分。你还是做个人吧！燕王朱棣沉思良久，拍案而起杨兄言之有理，我马上起兵！杨鸣懵了我没想成功，我只想回家，你信吗？...
四合院之走秦淮茹的路
关于四合院之走秦淮茹的路病入膏肓的徐慧珍，寿终正寝后，穿越到了五十年代的剧情里，成了女主徐慧真。绑定了正义无限系统。完成系统发布的任务就有奖励。什么？系统发布任务让我嫁给傻柱？都傻成那样了，还有救吗？傻柱在梦中预知了自己未来的命运，当机立断甩开秦淮茹。携手徐慧真，事业虐渣两不误。这个年代不让私人做生意，搞个街道工厂可以吧。于是十字绣走起来，为国家创外汇。想像一下，大街小巷里，大姑娘小媳妇都绣十字绣的场面。两人联合办个食品厂，解决知识青年就业难的问题，于是方便面火腿肠提前问世了。夫妻两个一步一个脚印，改变原剧情，成为人生赢家。...
极品王爷太凶残
...