书书小说网

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

第九十九章 前奏第四更(第2页)

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

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

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

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

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

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

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

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

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

“语言?哦,语言!”冯落衣突然问道:“《形式语言学》,你已经了解过了吗?”

“怎么可能不了解?”图灵真人瞪大眼睛,反问道:“你弟子的成就,你自己就不关心吗?”

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

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

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

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

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

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

冯落衣点了点头:“确实……”

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

——端是深谋远虑!

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

冯落衣点了点头:“嗯,王崎也是一般看法。”

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

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

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

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

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

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

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

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

——不。

他自己否定了这个想法。

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

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

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

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

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

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

“个人的行为?还是王崎的授意?”

热门小说推荐
霍少的闪婚暖妻

霍少的闪婚暖妻

陆家有两个女儿,小女儿是天上的月亮,大女儿是阴沟里的死狗。陆妈你长得不如你妹妹,脑子不如你妹妹,身材不如你妹妹,运气不如你妹妹,你有什么资格过得好,有什么资格幸福?陆微言姐姐,你的钱是我的房子是我的,你男朋友也是我的。你就安心地当又穷又没人要的老处女吧。陆一语凭什么?我也肤白貌美大长腿好么?分分钟能找个男人...

龙王传说

龙王传说

心潮澎湃,无限幻想,迎风挥击千层浪,少年不败热血!...

妖夏

妖夏

盛夏不老不死了上千年,看尽了想到想不到的各种热闹。没想到,她却也成了别人眼里的热闹,在一群不靠谱参谋的参谋下,屡战屡败,屡败屡战本闲初心不改,这本立志要写回言情了!...

龙王殿

龙王殿

化神境修士陈默,与小师妹双双陨落后,竟然重回地球的高三时代?!前世初恋,陈默不屑一顾。前世敌人,陈默一拳打爆。前世你看我不起?今世我让你望尘莫及!...

全职艺术家

全职艺术家

音乐影视绘画书法雕塑文学你都懂?略知一二。都会一点的意思?嗯,都会亿点的意思。怀揣系统,靠艺术征服世界,成为各界人士顶礼膜拜的无冕之王。...

斗罗大陆3龙王传说

斗罗大陆3龙王传说

伴随着魂导科技的进步,斗罗大陆上的人类征服了海洋,又发现了两块大陆。魂兽也随着人类魂师的猎杀走向灭亡,沉睡无数年的魂兽之王在星斗大森林最后的净土苏醒,它要...