手机浏览器扫描二维码访问
如果说“图灵机”的构想是画地为牢,那么“类型”就是一副枷锁,将使用者牢牢束缚。
他确实是觉得这样很有趣。
图灵真人显得有些激动:“根据这理论当中的一些东西,我觉得,可以重新构造出一门全新的高级算器语言了——这能够极大的造福千机阁弟子!”
“语言?哦,语言!”冯落衣突然问道:“《形式语言学》,你已经了解过了吗?”
“怎么可能不了解?”图灵真人瞪大眼睛,反问道:“你弟子的成就,你自己就不关心吗?”
“嗯……了解倒是有了解……”冯落衣沉吟。
形式语言学,他了解得确实不多。
这几个月里,歌庭一直在秘密联系他,邀请他再做元算之算。
本来,冯落衣就觉得是自己支持王崎入道,而王崎的不周之算,否定了元算之算,他也颇为愧疚。
这大半年来,他的精神都投入其中了。
“有了王崎的形式语言学,做算器的语言,也就容易了许多。”图灵真人说道:“我觉得,你也可以好好了解一下。”
冯落衣点了点头:“确实……”
——不过,王崎发展“形式语言学”,也是为了这一成就做铺垫吗?
——端是深谋远虑!
“下一步,我打算尝试将类型纳入我的算器结构之中。”图灵真人如此说道:“说不定能够做出什么东西来。”
冯落衣点了点头:“嗯,王崎也是一般看法。”
只是,他始终有一道心思,放在元算之算上。
陈由嘉关于“无限公理”的阐释,也确实给了他灵感。
他已经想好自己的下一篇论文了。
……
“嘶,真是天才的想法!”海霆真人却比其他几人都要直接很多。
他看上去更为年少,从外表上看,倒与新崛起的一代修士更像是同时代的人物。
“陈由嘉……我记得,是王崎的道侣。”
“这么说来,是那个基派,也意识到自己过去的错误,想要来参悟连宗算理了?”
——不。
他自己否定了这个想法。
一个人转变想法,虽然困难,但还是有可能的。而一个学派,就没办法了。
黎京学派,分为老黎派和少黎派,也是这个原因。
白泽神君是离宗修士,自然不会容忍算君这样的异端。
好在白泽神君尚有容人之量,没有打压算君。
但就算如此,少黎派还是自立了。
就算基派成立时间尚浅,也不至于就这样集体转向。
“个人的行为?还是王崎的授意?”
穿越之弃子国师 大明孤狼 我是狠人大帝的同乡 天地炼成 悍妻[医道] 时光请善待我的她 系统之娇宠孕妻 娱乐超级奶爸 烈火燃情:高冷总裁滚远点 一爱到底之顾少毒妻 断神 直播和男神同居的日子 废材重生:邪王独宠悍王妃 扛着boss拼下限(末世) 眼镜兄撞上恶魔王子 最强除妖师 神偷长公主 赌妃在上,王爷在下 天黑请开眼 捡到病娇太子之后(重生)
蛮族德鲁伊,近战弓箭手,肌肉猛汉A穿各大位面。好吧,这是一本披着游戏皮的原创异界奇幻如果您喜欢暗黑流放世界,别忘记分享给朋友...
身为杀手的我,在一场任务中,敌人没杀到,倒是自己先死了。如果您喜欢吻过千年的你,别忘记分享给朋友...
重生前,她作天作地,只想跟他离婚,离婚,还是离婚,直到她遇险,他救她而亡。重生后,她欢天喜地,只想爱他,爱他,好好爱他。只是某人太高冷,怎么办?无妨,她十八般武艺齐上阵,何况还有一个‘狐狸’军师。于是,她一手虐渣,一手撩他,幸福的日子乐开了花。报告,有人向嫂子表白。什么?我慕千城的媳妇也敢抢?来人,把那不长眼的小子给我带来,我要好好的和他聊聊人生。...
她是欧阳家有名的废物,天生懦弱,出嫁路上被夫君当众休妻!是可忍孰不可忍!再次睁眼,她再非昔日的废物小姐!欠我的,我要他十倍偿还,家破人亡!伤我的,我要他根断种绝,身死族灭!极品丹药?算什么,姐是天才丹药师,极品丹药,她随手抓来当糖吃!高阶灵兽算什么?她随手一挥,圣兽千万头!谁人能比她嚣张?美男算什么?没看九天十地,...
将球放在点球点上,看着郑龙站在球门前,C罗恨得直咬牙。这该死的混蛋!一定是打了兴奋剂!不然怎么可能将我们的射门全部挡在门外了!这不科学!梅西将头点的如同啄木鸟一样。对!小小罗你说的太对了。对方一定是打了兴奋剂。不然不科学!如果您喜欢坚守最后一道防线,别忘记分享给朋友...
23年前,一场阴谋让他失去了母亲,而那天正是他出生的日子。23年后,又一场刻意针对他的车祸反而使得这一场阴谋被慢慢揭开…如果您喜欢校花的全能教师,别忘记分享给朋友...