手机浏览器扫描二维码访问
如果说“图灵机”的构想是画地为牢,那么“类型”就是一副枷锁,将使用者牢牢束缚。
他确实是觉得这样很有趣。
图灵真人显得有些激动:“根据这理论当中的一些东西,我觉得,可以重新构造出一门全新的高级算器语言了——这能够极大的造福千机阁弟子!”
“语言?哦,语言!”冯落衣突然问道:“《形式语言学》,你已经了解过了吗?”
“怎么可能不了解?”图灵真人瞪大眼睛,反问道:“你弟子的成就,你自己就不关心吗?”
“嗯……了解倒是有了解……”冯落衣沉吟。
形式语言学,他了解得确实不多。
这几个月里,歌庭一直在秘密联系他,邀请他再做元算之算。
本来,冯落衣就觉得是自己支持王崎入道,而王崎的不周之算,否定了元算之算,他也颇为愧疚。
这大半年来,他的精神都投入其中了。
“有了王崎的形式语言学,做算器的语言,也就容易了许多。”图灵真人说道:“我觉得,你也可以好好了解一下。”
冯落衣点了点头:“确实……”
——不过,王崎发展“形式语言学”,也是为了这一成就做铺垫吗?
——端是深谋远虑!
“下一步,我打算尝试将类型纳入我的算器结构之中。”图灵真人如此说道:“说不定能够做出什么东西来。”
冯落衣点了点头:“嗯,王崎也是一般看法。”
只是,他始终有一道心思,放在元算之算上。
陈由嘉关于“无限公理”的阐释,也确实给了他灵感。
他已经想好自己的下一篇论文了。
……
“嘶,真是天才的想法!”海霆真人却比其他几人都要直接很多。
他看上去更为年少,从外表上看,倒与新崛起的一代修士更像是同时代的人物。
“陈由嘉……我记得,是王崎的道侣。”
“这么说来,是那个基派,也意识到自己过去的错误,想要来参悟连宗算理了?”
——不。
他自己否定了这个想法。
一个人转变想法,虽然困难,但还是有可能的。而一个学派,就没办法了。
黎京学派,分为老黎派和少黎派,也是这个原因。
白泽神君是离宗修士,自然不会容忍算君这样的异端。
好在白泽神君尚有容人之量,没有打压算君。
但就算如此,少黎派还是自立了。
就算基派成立时间尚浅,也不至于就这样集体转向。
“个人的行为?还是王崎的授意?”
天地炼成 天黑请开眼 一爱到底之顾少毒妻 扛着boss拼下限(末世) 捡到病娇太子之后(重生) 我是狠人大帝的同乡 断神 最强除妖师 废材重生:邪王独宠悍王妃 大明孤狼 直播和男神同居的日子 神偷长公主 赌妃在上,王爷在下 悍妻[医道] 眼镜兄撞上恶魔王子 穿越之弃子国师 娱乐超级奶爸 系统之娇宠孕妻 时光请善待我的她 烈火燃情:高冷总裁滚远点
异世大陆,身世的扑朔迷离,想要挣扎活下去的决心,到底什么才是真正的自己,揭开真相的那一刻,是向命运屈服,还是努力走向更高处无邪我记得我是谁,唯一的目标只是想活着,上天不公,那我便冲破这天,大地不仁,那我便创造我自己的大地。容墨这世界上我想要守护的唯她一人而已,若她不在,这万里江山又有什么意义,就算是堕魔毁了它又何妨。卫颜初次相见她便镌刻在我心上,那时却不觉,站在正邪对立面时,我又该何去何从。男女绝对1v1宠文,欢迎大家收藏哦如果您喜欢神医倾城魔帝大人轻点撩,别忘记分享给朋友...
主人公夏海当过兵,却得罪了人,落个退役的下场,夏海人很热心,可是却也坏在热心上面。一次偶然的见义勇为却不想成了穿越大军的一员,来到了远古时代,但是,夏海却发现,这里并不原始。这里有着大大小小的部落。这里已经有了大的部落联盟,或者称呼为诸侯国也不错。这里是一个实力为尊的世界,这个世界的个体力量几乎异常的强大。夏海该如...
梅,如果我死了,请把我的骨灰洒在大海里里。为什么?因为我就算是死了,也要接着浪。这是一个注入了正能量的故事。如果您喜欢旅行青蛙在漫威世界混日子,别忘记分享给朋友...
关于大话水浒之武大郎传奇历史不是镜子,历史是精子,牺牲亿万,才有一个活到今天人生不是故事,人生是事故,摸爬滚打,才不辜负功名尘土。作为一名宅男,穿越,是我一直以来梦寐以求的事情,可穿越到武大...
自幼被家族遗弃的林凡,大学期间偶得奇遇,拥有了纯阳脉和至阴脉并存的阴阳双脉体质,得以修炼天级功法乾坤阴阳诀,此后奇遇不断,武修路上精彩纷呈,各色美女接踵而至,林凡的身世也渐渐揭晓,曾经的弃儿竟藏着惊天秘密...
你再也不是那个掌上明珠了,醒醒吧!这段话在杨纯晴里不断浮现,被闺蜜所害,就连姐姐和父母都离她而去。她后悔,伤害的都是自己本应该珍惜的人。不行,这不是她想要的!重来一世,她要擦亮眼睛,手撕渣男贱女,好好对待真心为自己付出的家人,伤害她的那些人,她一个也不会放过!当然,最重要的是,她要把自己伤过的那颗心,再重新追回来,小心珍藏。只是这追夫之路,漫漫无期啊~如果您喜欢祁少宠妻甜腻腻,别忘记分享给朋友...