手机浏览器扫描二维码访问
第1280章（第1页）
第二天，陈由嘉醒来，听王崎将这些东西介绍一遍之后，也愣了。
“我这么厉害的吗？”
女孩愣愣的眨了眨眼睛。
王崎点了点头：“超厉害。”
陈由嘉眯起眼睛，笑了。
可旋即，她有有些疑惑：“这个……算是基础算学？我原本是要开发应用……”
“这对解析算君的成就，非常有用。”王崎说道：“再者，你是从算君的‘应用’之中反推出来，也算是一条‘从理论指向运用’的道路了。”
类型论，和函数编程也是息息相关了。
尽管在地球上，Lisp一类可以实际使用的函数式编程，早在类型论之前就开发出来了，但这并不妨碍类型论让整个编程，尤其是函数编程的艺术再上一个台阶。
布尔巴基学派理论通向应用的障碍，又消去了一个。
王崎深吸一口气，严肃道：“但是，师妹，这个还不算完。在你手上，这个类型论，也只是刚刚成型而已。”
陈由嘉一愣：“你叫它什么？类型论？”
王崎点了点头：“定义语言类型……你又什么不满吗？”
陈由嘉笑了：“感觉会被你的类论【K理论】盖过名头啊。”
王崎一愣。这可是前世语境下不存在的麻烦。
“那就唤‘型论’咯。”
“听起来和你那‘类论’是一对儿啊，不妥不妥……”
王崎勾起陈由嘉下巴，反问道：“一对儿，有什么不妥？”
“别闹，这两个理论在算学领域天差地别……”
“名字相似而已嘛！”
笑闹之中，这注定震动历史的理论，算是敲定名字了。
陈由嘉却突然叹息：“这一次，还真是机缘巧合……若是没有海霆真人、冯老师的论战，我绝无可能触及算君的那一丝‘想法’；而若是没有算君的书稿，我纵使窥得门径，也未必能入……”
“自信一点。”王崎拍了拍陈由嘉的脑袋：“你也足够强了。”
兴奋过后，陈由嘉忽然又有些担忧：“话说，基派算学，主要就是为了那算学根基。这次我论文发表，那便是……便是以连宗的身份加入现在的论战了吧？是不是……不大好？”
一个学派，总得有一个学派的理念一以贯之。
王崎思考片刻：“我看没什么不好啊。我发表不周之算的时候，可还算歌庭派编外成员呢。”
“啊？我总觉得你做了个不吉利的比喻……”
王崎摆手：“想哪去了……总之，不周之算，算是我万法门内崛起的一个点，也算是基派的原点了吧？可以说，连宗离宗的上一场论战，就是由我终结。而现在，也就是他们最后的论战，也算是因我而起。”
现在离宗连宗，都在尝试对不完备定理发起挑战。王崎这么说，也没错。
“我也正是因为这样，才有了组件基派的资本。”
“这一场纷乱，因基派而起，那么，由基派成员终结，也并无不妥。”
陈由嘉语气一滞：“终结……”
王崎点了点头：“终结。我该说……去吧，终结这个旧世代。”
七零空间小娇女 替嫁给病弱佛修太子后他破戒了姜南枝容司璟番外 武裂苍穹秦天青儿百度云 一觉醒来怀了崽 穿成大佬假妹妹 替嫁给病弱佛修太子后他破戒了姜南枝容司璟全文免费完结版 唐老太的种田生活 周一见 武裂苍穹秦天青儿全集免费阅读 神道丹帝叶尘苏傲雪全本免费阅读 九子登云的作品武裂苍穹 封先生的宠爱 替嫁给病弱佛修太子后他破戒了姜南枝容司璟后续 就想和你在一起 玄学大佬在现代 人人都爱马文才 穿书之末世娇宠 贵门妾 替嫁给病弱佛修太子后他破戒了姜南枝容司璟更新 天才高手
呆萌知青一不小心撩到腹黑狐狸精
VS顾婉穿书了，穿到一个缺衣少食的年代就算，竟然还是一个手不能提肩不能扛，还没钱结果饿死的知青身上？等等，没钱？没钱饿死的，那这是什么？在疫区做志愿者的顾菀穿书了，前世父母在疫区感染不幸离世后，义无反顾加入了志愿者的行列当中。只是最后却还是不幸感染，弥留之际还在想，那些存放捐赠物质仓库的钥匙还在自己家里呢，也不...
进击的城市
废土世界，年满十八岁的人类都会获得城市种子，从而成为城主，只要种下，就可选择陆上海上，或空中城市之一。城市因城主而生，也因城主之死而死。一旦城市毁灭，城主将成为无城之民。城市可以移动可以战斗可以不断的升级，既是一个超级战力，也是一个人类在废土之上的生存之所。项杨重生归来，打开隐藏选项进击城市。废土之上，没有异能，没有血脉，唯有被称为城市的钢铁巨兽，才是人类文明得以延续的希望。这是个带着自己的城市，驰骋在末日废土之上的故事。如果您喜欢进击的城市，别忘记分享给朋友...
我能追踪万物
我能追踪万物简介emspemsp穿越仙侠世界，陈沉得到最强追踪系统，从此能追踪万物。陈沉系统，我缺钱了。两米之外，床底下藏着你爹的私房钱，五米之外，地下半米有一枚生锈的铜钱。前方草丛里有掉落的碎银子。陈沉系统，我缺点机缘。猪圈前那坨屎其实并不普通。今夜子时前往二十里外的黑锋崖跳崖。某处地方隐藏着仙人洞府。万载之后，已经成为仙帝的陈沉有些无聊。系统，你告诉我，这世间有多少女修暗恋本帝？...
幻想娱乐帝国
星海漫游，时空穿梭，机械科技，目标是未知的星辰大海！如果您喜欢幻想娱乐帝国，别忘记分享给朋友...
仙门万年：开局获得大道法
师兄师妹，一个穿越开挂，一个大帝重生。师兄只想苟着求长生，却狠辣又腹黑。师妹却想逆行伐九天，横推一切敌。叮恭喜宿主在山上日常生活百年，奖励十万年修为。如果您喜欢仙门万年开局获得大道法，别忘记分享给朋友...
眷忆曾为挽别离
疯批女追男囚爱后，疯批男火葬场追妻。最倒霉的，是这个天下呗！主角版美强惨摄政长公主，因上辈子是个病秧子，性情孤僻一身反骨，重生成了恶人头子。很好很适合她。就爱拉天下一起发疯。夺权抢人，就爱看你们狠不过我的样子。什么？爱上的是死对头？替身女配还倒反天罡？想骑在她头上拉臭...