第九十九章 前奏【第四更】
推荐阅读: 大唐双龙传 、 重修之灭仙弑神 、 仙域科技霸主 、 大奉打更人 、 神秘复苏 、 恐怖复苏 、 道祖是克苏鲁 、 武映三千道 、 史上第一暴君 、 冥河传承 、 和尚凶猛 、 我用闲书成圣人 、 修真界败类 、 大劫主 、 仙武之巫法无天 、 夔牛记 、 都市呆萌录 、 命运天盘 、 杨家将后传 、 重生绿袍
混沌拓扑网络算法的精髓,解答了一些疑惑。
但也只是阐释了部分而已。
算君的成就,可还没那么简单。
冯落衣忍不住又看了一遍。
他本能的感觉到,这一片看上去好像离宗连宗算理杂交产物的论文,蕴含着巨大的可能性。
于是,他快速连上了图灵真人。
“图灵道友,我这里有一篇论文,很有意思,希望你能看一看。”
半个时辰之后,图灵真人出现在万仙幻境之中:“这篇论文,真是了不得啊。”
对于类型论牺牲图灵完备的做法,他倒是没有任何意见。相反,他还觉得挺有趣的。
第一次想到有这样的结构。
如果说“图灵机”的构想是画地为牢,那么“类型”就是一副枷锁,将使用者牢牢束缚。
他确实是觉得这样很有趣。
图灵真人显得有些激动:“根据这理论当中的一些东西,我觉得,可以重新构造出一门全新的高级算器语言了这能够极大的造福千机阁弟子!”
“语言?哦,语言!”冯落衣突然问道:“《形式语言学》,你已经了解过了吗?”
“怎么可能不了解?”图灵真人瞪大眼睛,反问道:“你弟子的成就,你自己就不关心吗?”
“嗯……了解倒是有了解……”冯落衣沉吟。
形式语言学,他了解得确实不多。
这几个月里,歌庭一直在秘密联系他,邀请他再做元算之算。
本来,冯落衣就觉得是自己支持王崎入道,而王崎的不周之算,否定了元算之算,他也颇为愧疚。
这大半年来,他的精神都投入其中了。
“有了王崎的形式语言学,做算器的语言,也就容易了许多。”图灵真人说道:“我觉得,你也可以好好了解一下。”
冯落衣点了点头:“确实……”
不过,王崎发展“形式语言学”,也是为了这一成就做铺垫吗?
端是深谋远虑!
“下一步,我打算尝试将类型纳入我的算器结构之中。”图灵真人如此说道:“说不定能够做出什么东西来。”
冯落衣点了点头:“嗯,王崎也是一般看法。”
只是,他始终有一道心思,放在元算之算上。
陈由嘉关于“无限公理”的阐释,也确实给了他灵感。
他已经想好自己的下一篇论文了。
……………………………………………………………………………………
“嘶,真是天才的想法!”海霆真人却比其他几人都要直接很多。
他看上去更为年少,从外表上看,倒与新崛起的一代修士更像是同时代的人物。
“陈由嘉……我记得,是王崎的道侣。”
“这么说来,是那个基派,也意识到自己过去的错误,想要来参悟连宗算理了?”
不。
♀吾道长不孤提醒:《走进修仙》最新章节后日谈二、三则将第一时间在♂全本小:说更新,记住域名♂23quan.com♀♂请来全本小:说:看最新章节:完整章节♂
吾道长不孤提醒您:本章未完,点下一页继续阅读。>>>
本文网址:http://zoujinxiuxian.23quan.com/15237078.html
手机用户请浏览:http://m.23quan.com享受更优质的阅读体验。
温馨提示:按 回车[Enter]键 返回书目,按 ←键 返回上一页, 按 →键 进入下一页,加入书签方便您下次继续阅读。章节错误?点此举报