手机浏览器扫描二维码访问
第二天,陈由嘉醒来,听王崎将这些东西介绍一遍之后,也愣了。
“我这么厉害的吗?”
女孩愣愣的眨了眨眼睛。
王崎点了点头:“超厉害。”
陈由嘉眯起眼睛,笑了。
可旋即,她有有些疑惑:“这个……算是基础算学?我原本是要开发应用……”
“这对解析算君的成就,非常有用。”王崎说道:“再者,你是从算君的‘应用’之中反推出来,也算是一条‘从理论指向运用’的道路了。”
类型论,和函数编程也是息息相关了。
尽管在地球上,Lisp一类可以实际使用的函数式编程,早在类型论之前就开发出来了,但这并不妨碍类型论让整个编程,尤其是函数编程的艺术再上一个台阶。
布尔巴基学派理论通向应用的障碍,又消去了一个。
王崎深吸一口气,严肃道:“但是,师妹,这个还不算完。在你手上,这个类型论,也只是刚刚成型而已。”
陈由嘉一愣:“你叫它什么?类型论?”
王崎点了点头:“定义语言类型……你又什么不满吗?”
陈由嘉笑了:“感觉会被你的类论【K理论】盖过名头啊。”
王崎一愣。这可是前世语境下不存在的麻烦。
“那就唤‘型论’咯。”
“听起来和你那‘类论’是一对儿啊,不妥不妥……”
王崎勾起陈由嘉下巴,反问道:“一对儿,有什么不妥?”
“别闹,这两个理论在算学领域天差地别……”
“名字相似而已嘛!”
笑闹之中,这注定震动历史的理论,算是敲定名字了。
陈由嘉却突然叹息:“这一次,还真是机缘巧合……若是没有海霆真人、冯老师的论战,我绝无可能触及算君的那一丝‘想法’;而若是没有算君的书稿,我纵使窥得门径,也未必能入……”
“自信一点。”王崎拍了拍陈由嘉的脑袋:“你也足够强了。”
兴奋过后,陈由嘉忽然又有些担忧:“话说,基派算学,主要就是为了那算学根基。这次我论文发表,那便是……便是以连宗的身份加入现在的论战了吧?是不是……不大好?”
一个学派,总得有一个学派的理念一以贯之。
王崎思考片刻:“我看没什么不好啊。我发表不周之算的时候,可还算歌庭派编外成员呢。”
“啊?我总觉得你做了个不吉利的比喻……”
王崎摆手:“想哪去了……总之,不周之算,算是我万法门内崛起的一个点,也算是基派的原点了吧?可以说,连宗离宗的上一场论战,就是由我终结。而现在,也就是他们最后的论战,也算是因我而起。”
现在离宗连宗,都在尝试对不完备定理发起挑战。王崎这么说,也没错。
“我也正是因为这样,才有了组件基派的资本。”
“这一场纷乱,因基派而起,那么,由基派成员终结,也并无不妥。”
陈由嘉语气一滞:“终结……”
王崎点了点头:“终结。我该说……去吧,终结这个旧世代。”
最强除妖师 捡到病娇太子之后(重生) 一爱到底之顾少毒妻 悍妻[医道] 穿越之弃子国师 天地炼成 扛着boss拼下限(末世) 眼镜兄撞上恶魔王子 系统之娇宠孕妻 大明孤狼 赌妃在上,王爷在下 娱乐超级奶爸 神偷长公主 断神 时光请善待我的她 烈火燃情:高冷总裁滚远点 我是狠人大帝的同乡 废材重生:邪王独宠悍王妃 直播和男神同居的日子 天黑请开眼
苏晨重生到了平行世界的S7赛季,开局觉醒系统,用青钢影单杀主播余小C,意外火遍全网!江科大医学精准与否,就是屠宰与手术的区别江科大心理学谎言不会伤人真相才是快刀。江科大哲学世界既不黑也不白,而是一道精致的灰。玩梗文,路人王主播职业。如果您喜欢联盟我的青钢影让母校出名了,别忘记分享给朋友...
国之将亡,遍地魔法,唯有科学,兴国安邦。我不信邪,我信科学!提示,这并不是一本为美好的世界献上祝福的同人,因为本书原名在魔法的世界坚持科学的我一定哪里有问题名字太长不过审,所以仅仅是一本普通的魔法与科学交织的日常流小说...
乔苓在生命最后一刻自愿无偿捐献所有器官,功德无量感动上天,获得重生还附赠一个药田空间。然而,辛辛苦苦兢兢业业升级空间之后傻眼了。失传的古医书,不传秘方,针灸之术,这都是些啥。。。专业不对口啊!我不想学医啊!我只想种田啊!乔苓摸着下巴看向身姿笔挺坐在桌前低头写字的少年。公子,我看你骨骼精奇,是万中无一的医学奇才,拯救万民于水火的重任就靠你了,我这有几本医书…少年抬起头,目光沉静,你有病吧。乔苓重重点头,没错!我不仅有病,我还有药!如果您喜欢夫君,我才是你最大的金手指,别忘记分享给朋友...
关于庶女转正指南一朝穿越,吃货夏禾成了私奔途中落水淹死的封都城夏家三小姐,名誉受损,即将被送到田庄等死?她绝不答应!然而父亲冷漠,祖母偏心,嫡母不管事,眼看着就要被一个丫鬟欺负死,夏禾不得不撸...
血腥密室,内脏全无的尸体,疯狂的杀人游戏,神秘的死亡预言,可怕的食人魔。诡异的鲜血八卦,吓破胆的剧情,猜不到的凶手。尽在两个胖子历险的经历当中,警队之耻能否逆袭,身患绝症能撑多久?本文没有一个愚...
穿越到海贼世界,罗德得到可以抽取天赋能力的神器知识之书。剑斩天地,掌控雷霆,行走空间,信仰之力铸造地上神国!神恩如海,神威如狱。来到这个世界,就注定无敌于世。如果您喜欢海贼之超神天赋,别忘记分享给朋友...