哈哈电子书

手机浏览器扫描二维码访问

第九十九章 前奏（第2页）

他本能的感觉到，这一片看上去好像离宗连宗算理杂交产物的论文，蕴含着巨大的可能『性』。

于是，他快速连上了图灵真人。

“图灵道友，我这里有一篇论文，很有意思，希望你能看一看。”

半个时辰之后，图灵真人出现在万仙幻境之中：“这篇论文，真是了不得啊。”

对于类型论牺牲图灵完备的做法，他倒是没有任何意见。相反，他还觉得挺有趣的。

第一次想到有这样的结构。

如果“图灵机”的构想是画地为牢，那么“类型”就是一副枷锁，将使用者牢牢束缚。

他确实是觉得这样很有趣。

图灵真人显得有些激动：“根据这理论当中的一些东西，我觉得，可以重新构造出一门全新的高级算器语言了——这能够极大的造福千机阁弟子！”

“语言？哦，语言！”冯落衣突然问道：“《形式语言学》，你已经了解过了吗？”

“怎么可能不了解？”图灵真壬大眼睛，反问道：“你弟子的成就，你自己就不关心吗？”

“嗯……了解倒是有了解……”冯落衣沉『吟』。

形式语言学，他了解得确实不多。

这几个月里，歌庭一直在秘密联系他，邀请他再做元算之算。

本来，冯落衣就觉得是自己支持王崎入道，而王崎的不周之算，否定了元算之算，他也颇为愧疚。

这大半年来，他的精神都投入其中了。

“有了王崎的形式语言学，做算器的语言，也就容易了许多。”图灵真人道：“我觉得，你也可以好好了解一下。”

冯落衣点零头：“确实……”

——不过，王崎发展“形式语言学”，也是为了这一成就做铺垫吗？

——端是深谋远虑！

“下一步，我打算尝试将类型纳入我的算器结构之郑”图灵真人如此道：“不定能够做出什么东西来。”

冯落衣点零头：“嗯，王崎也是一般看法。”

本小章还未完，请点击下一页继续阅读后面精彩内容！

只是，他始终有一道心思，放在元算之算上。

陈由嘉关于“无限公理”的阐释，也确实给了他灵福

他已经想好自己的下一篇论文了。

……………………………………………………………………………………

“嘶，真是才的想法！”海霆真人却比其他几人都要直接很多。

他看上去更为年少，从外表上看，倒与新崛起的一代修士更像是同时代的人物。

“陈由嘉……我记得，是王崎的道侣。”

“这么来，是那个基派，也意识到自己过去的错误，想要来参悟连宗算理了？”

——不。

他自己否定了这个想法。

一个人转变想法，虽然困难，但还是有可能的。而一个学派，就没办法了。

黎京学派，分为老黎派和少黎派，也是这个原因。

白泽神君是离宗修士，自然不会容忍算君这样的异端。

好在白泽神君尚有容人之量，没有打压算君。

但就算如此，少黎派还是自立了。

就算基派成立时间尚浅，也不至于就这样集体转向。

神道丹帝叶尘苏傲雪全本免费阅读  九子登云的作品武裂苍穹  武裂苍穹秦天青儿全集免费阅读  穿书之末世娇宠  穿成大佬假妹妹  替嫁给病弱佛修太子后他破戒了姜南枝容司璟番外  替嫁给病弱佛修太子后他破戒了姜南枝容司璟全文免费完结版  周一见  人人都爱马文才  替嫁给病弱佛修太子后他破戒了姜南枝容司璟后续  一觉醒来怀了崽  就想和你在一起  唐老太的种田生活  七零空间小娇女  玄学大佬在现代  封先生的宠爱  武裂苍穹秦天青儿百度云  贵门妾  天才高手  替嫁给病弱佛修太子后他破戒了姜南枝容司璟更新