手机浏览器扫描二维码访问
如果说“图灵机”的构想是画地为牢,那么“类型”就是一副枷锁,将使用者牢牢束缚。
他确实是觉得这样很有趣。
图灵真人显得有些激动:“根据这理论当中的一些东西,我觉得,可以重新构造出一门全新的高级算器语言了——这能够极大的造福千机阁弟子!”
“语言?哦,语言!”冯落衣突然问道:“《形式语言学》,你已经了解过了吗?”
“怎么可能不了解?”图灵真人瞪大眼睛,反问道:“你弟子的成就,你自己就不关心吗?”
“嗯……了解倒是有了解……”冯落衣沉吟。
形式语言学,他了解得确实不多。
这几个月里,歌庭一直在秘密联系他,邀请他再做元算之算。
本来,冯落衣就觉得是自己支持王崎入道,而王崎的不周之算,否定了元算之算,他也颇为愧疚。
这大半年来,他的精神都投入其中了。
“有了王崎的形式语言学,做算器的语言,也就容易了许多。”图灵真人说道:“我觉得,你也可以好好了解一下。”
冯落衣点了点头:“确实……”
——不过,王崎发展“形式语言学”,也是为了这一成就做铺垫吗?
——端是深谋远虑!
“下一步,我打算尝试将类型纳入我的算器结构之中。”图灵真人如此说道:“说不定能够做出什么东西来。”
冯落衣点了点头:“嗯,王崎也是一般看法。”
只是,他始终有一道心思,放在元算之算上。
陈由嘉关于“无限公理”的阐释,也确实给了他灵感。
他已经想好自己的下一篇论文了。
……
“嘶,真是天才的想法!”海霆真人却比其他几人都要直接很多。
他看上去更为年少,从外表上看,倒与新崛起的一代修士更像是同时代的人物。
“陈由嘉……我记得,是王崎的道侣。”
“这么说来,是那个基派,也意识到自己过去的错误,想要来参悟连宗算理了?”
——不。
他自己否定了这个想法。
一个人转变想法,虽然困难,但还是有可能的。而一个学派,就没办法了。
黎京学派,分为老黎派和少黎派,也是这个原因。
白泽神君是离宗修士,自然不会容忍算君这样的异端。
好在白泽神君尚有容人之量,没有打压算君。
但就算如此,少黎派还是自立了。
就算基派成立时间尚浅,也不至于就这样集体转向。
“个人的行为?还是王崎的授意?”
神偷长公主 系统之娇宠孕妻 断神 娱乐超级奶爸 我是狠人大帝的同乡 大明孤狼 烈火燃情:高冷总裁滚远点 直播和男神同居的日子 穿越之弃子国师 眼镜兄撞上恶魔王子 一爱到底之顾少毒妻 时光请善待我的她 天黑请开眼 天地炼成 最强除妖师 赌妃在上,王爷在下 捡到病娇太子之后(重生) 扛着boss拼下限(末世) 废材重生:邪王独宠悍王妃 悍妻[医道]
修真掌门都市重生,横行两界,无所不能。在都市,他懂医术,会抓鬼,相面算卦,书画双绝。众多家族族长不计得失,保驾护航,只为博君一笑。在修行界,他是华夏宗门太上长老,地位尊崇,德高望...
是男人都有需要,你们这些小妖精,不要成天在俺面前晃悠,小心俺忍不住把你们统统推倒!是男人都有脾气,不管你是什么长着翅膀的血族亲王,还是什么教皇陛下,请不要在小爷面前蹦跶,惹恼了小爷一样把你们全部干掉!我是菜鸟,也是极品美女的贴身保镖!...
早死再不斩为何逃过一劫?五秒卡卡西为何不再缺蓝?平凡普通人频频变强,又是何人所为?阴阳界妖怪屡现忍界,背后究竟是谁?这一切的一切,是忍者的进步还是阴阳师的崛起?我是源右止,带着阴阳师系统,颠覆了整个忍界。如果您喜欢我用阴阳师颠覆火影,别忘记分享给朋友...
蛮族德鲁伊,近战弓箭手,肌肉猛汉A穿各大位面。好吧,这是一本披着游戏皮的原创异界奇幻如果您喜欢暗黑流放世界,别忘记分享给朋友...
王晓东,一个普通的不能再普通的业务员,凭借常人难以企及的针灸之术,短短时间内就建立了强大的朋友圈,财富与日俱增!...
龙,世界上第一个智慧种族,横跨千年的漫长生命周期让他们成为世界的象征并体现了世界的历史,古老的龙拥有的知识和智慧让他们成为智者和先知,是智慧的源泉和即将到来事物的先知。他们是祥瑞,他们也是灾厄!阿提兰以海洋亚龙之身降临这个世界,金属龙和色彩龙之外的元素巨龙,亚龙,亚种真龙,元素龙神以地风水火塑造的全新真龙。无父无母的雏龙,在传奇大德鲁伊的教导下,开创属于他的种田与基建自然帝国!DND巨龙种田争霸德鲁伊如果您喜欢海洋亚龙的自然帝国,别忘记分享给朋友...