看书中文网

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

——端是深谋远虑!

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

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

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

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

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

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

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

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

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

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

——不。

他自己否定了这个想法。

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

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

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

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

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

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

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

他也注意到,陈由嘉进行语言分类的时候,思路与“形式语言学”有一定的相似之处。

神捕乱宋  兽王三国  纸醉江山  苍天霸业  超级特警综合系统  重生之天生我才  霸隋  与女精灵的地球生活  网游之零纪元  舞吧,傀儡  权柄大明  玄玑图  鼎天武帝  道梦之轮回  美女教师的鬼医高手  醉卧九天  黑暗剑圣  死亡神座  我叫布里茨  美女总裁老婆  

热门小说推荐
傅先生,你想什么我都知道

傅先生,你想什么我都知道

傅临溪这个人霸道,腹黑,在哪儿都是张扬跋扈。可只有由夏知道所有人都不知道的傅先生。第一次分手后,傅临溪说她没你好。由夏翻一白眼。第二次分手后,傅临溪说你比她好。由夏给了他一脚。傅临溪终于知道委婉表白是没用的,要主动出击我喜欢你,我想和你由夏白他一眼再踹一脚,笑傅先生,从第一次见面,你想什么我都知道。...

阴人祭

阴人祭

妈怀胎七月被爸活活打死,未足月的我被从我妈的尸体中剖出,阴人生,命犯阴煞,是爷爷的孽种...

附加遗产

附加遗产

橘色书屋VIP621完结当前被收藏数21674文案雅雅走了,自杀。这个虽然跟他毫无血缘关系,但他毕竟叫了十多年姐姐的人,居然就这么消失了,并且给他留下了一笔数额不菲的遗产,以及...

一潜成婚

一潜成婚

办公室内,盛夏对身边的男人不满的道公司的人都说我一早存了心思勾引你,才坐上这总裁夫人的位置的。说我心机婊,配不上你!男人摸着下巴,对这个说法也相当不满瞎了他们的眼,分明就是我潜了你,把你强逼到总裁夫人位置上的!盛夏怎么听,都觉得这句话有点不大对劲...

豪门拽妻:叶少别放肆

豪门拽妻:叶少别放肆

作者夏之骄阳的经典小说豪门拽妻叶少别放肆最新章节全文阅读服务本站更新及时无弹窗广告小说双胞胎姐姐被渣男欺渣女联合骗走公司,心灰意冷之下又被继父卖身嫁入豪门传宗接代。传闻豪门丈夫叶氏集团总裁叶世谦,高冷无情,不近女色,对新婚妻子冷漠无感。失踪五天后,双胞胎妹妹以姐姐的身份回归,怼天怼地怼姐夫,报复渣男女虐死绿茶婊,却以嚣张霸气拽的性格收服一向高冷霸气的总裁老公!有我豪门拽妻在,叶少岂再放肆!...

饕餮娇气包在八零

饕餮娇气包在八零

云小九是一只小凶兽,每天除了吃,就是嘤嘤嘤,有天不小心穿进一本年代文里。  云家一连生了八个孙子,好不容易得来一个大孙女,全家上下都当金疙瘩疼着宠着。  村民以为云家孙女肯定很凶,毕竟他们一家子极品,家里的大鹅都见人就叼。  直到云家大婶子抱着刚满月的云小九出来遛弯,小奶团子粉粉嫩嫩,睫毛又翘又长,大眼睛随时包着两泡金豆豆,要哭不哭,萌人一脸血。  大婶子,小九这是怎么了?  云家大婶子看云小九一眼,着急往家赶,遭了,又饿了。  自从小凶兽来到云家,云家发生了翻天覆地的变化。  好吃懒做悍妇妈妈起...

每日热搜小说推荐