手机浏览器扫描二维码访问
第1280章（第1页）
第二天，陈由嘉醒来，听王崎将这些东西介绍一遍之后，也愣了。
“我这么厉害的吗？”
女孩愣愣的眨了眨眼睛。
王崎点了点头：“超厉害。”
陈由嘉眯起眼睛，笑了。
可旋即，她有有些疑惑：“这个……算是基础算学？我原本是要开发应用……”
“这对解析算君的成就，非常有用。”王崎说道：“再者，你是从算君的‘应用’之中反推出来，也算是一条‘从理论指向运用’的道路了。”
类型论，和函数编程也是息息相关了。
尽管在地球上，Lisp一类可以实际使用的函数式编程，早在类型论之前就开发出来了，但这并不妨碍类型论让整个编程，尤其是函数编程的艺术再上一个台阶。
布尔巴基学派理论通向应用的障碍，又消去了一个。
王崎深吸一口气，严肃道：“但是，师妹，这个还不算完。在你手上，这个类型论，也只是刚刚成型而已。”
陈由嘉一愣：“你叫它什么？类型论？”
王崎点了点头：“定义语言类型……你又什么不满吗？”
陈由嘉笑了：“感觉会被你的类论【K理论】盖过名头啊。”
王崎一愣。这可是前世语境下不存在的麻烦。
“那就唤‘型论’咯。”
“听起来和你那‘类论’是一对儿啊，不妥不妥……”
王崎勾起陈由嘉下巴，反问道：“一对儿，有什么不妥？”
“别闹，这两个理论在算学领域天差地别……”
“名字相似而已嘛！”
笑闹之中，这注定震动历史的理论，算是敲定名字了。
陈由嘉却突然叹息：“这一次，还真是机缘巧合……若是没有海霆真人、冯老师的论战，我绝无可能触及算君的那一丝‘想法’；而若是没有算君的书稿，我纵使窥得门径，也未必能入……”
“自信一点。”王崎拍了拍陈由嘉的脑袋：“你也足够强了。”
兴奋过后，陈由嘉忽然又有些担忧：“话说，基派算学，主要就是为了那算学根基。这次我论文发表，那便是……便是以连宗的身份加入现在的论战了吧？是不是……不大好？”
一个学派，总得有一个学派的理念一以贯之。
王崎思考片刻：“我看没什么不好啊。我发表不周之算的时候，可还算歌庭派编外成员呢。”
“啊？我总觉得你做了个不吉利的比喻……”
王崎摆手：“想哪去了……总之，不周之算，算是我万法门内崛起的一个点，也算是基派的原点了吧？可以说，连宗离宗的上一场论战，就是由我终结。而现在，也就是他们最后的论战，也算是因我而起。”
现在离宗连宗，都在尝试对不完备定理发起挑战。王崎这么说，也没错。
“我也正是因为这样，才有了组件基派的资本。”
“这一场纷乱，因基派而起，那么，由基派成员终结，也并无不妥。”
陈由嘉语气一滞：“终结……”
王崎点了点头：“终结。我该说……去吧，终结这个旧世代。”
贵门妾 就想和你在一起 替嫁给病弱佛修太子后他破戒了姜南枝容司璟更新 一觉醒来怀了崽 替嫁给病弱佛修太子后他破戒了姜南枝容司璟番外 玄学大佬在现代 唐老太的种田生活 人人都爱马文才 周一见 穿成大佬假妹妹 替嫁给病弱佛修太子后他破戒了姜南枝容司璟全文免费完结版 穿书之末世娇宠 替嫁给病弱佛修太子后他破戒了姜南枝容司璟后续 天才高手 武裂苍穹秦天青儿百度云 七零空间小娇女 封先生的宠爱 武裂苍穹秦天青儿全集免费阅读 九子登云的作品武裂苍穹 神道丹帝叶尘苏傲雪全本免费阅读
藏锋
藏锋简介emspemsp太子弑父，天降灾祸饿殍遍野。乞儿命苦，数九寒冬家破人亡。是谁说生死有命富贵在天？是谁说善恶有报因果轮回？尽是荒唐！弱肉强食，何来道义！物竞天择，何来公平！倒不如杀他个天昏地暗！倒不如杀他个天下太平！更多小说请收藏xyuzhaiwu8com...
星际美食女神
星际美食女神简介emspemsp星历9102年，人类离开地球已七千年。星际时代，地球文明失落，人类以营养剂为生。而这一年，来自21世纪的地球来客，掀起了美食风暴。涂绒绒穿到了星际时代，成了一个父母双亡，被赶出家门的小可怜没钱的涂...
天魔变
天魔变简介emspemsp关于天魔变吾这一生没有秘宝奇遇唯有一位红颜化身仙莲令大地震颤，有一手足奉为天子可与苍穹争辉！吾为天魔，持魔剑，杀尽天下忤逆者！一切欺压背叛者，杀无赦！天道有轮回？吾愿大逆不道一剑平天！追更y...
世子爷心怀不轨
沈天离直到死的那一刻才知晓威风凛凛的康平侯原来是女儿身。这一世沈天离一心一意只想跟在康平侯身边，心里眼里都只装得下他，其他的都是浮云。蒋青皱着眉头小大人似的娘亲，那个哥哥为何总是要捏我的脸？母亲大人那个哥哥喜欢你，才捏你啊。蒋青嘟着嘴可是，我一点儿也不喜欢他呀。蒋青长大后，认为沈天离就是一个病原体，得远远避开。沈天离整日冥思苦想，怎么也想不明白，上一世，蒋青对他可是一见钟情，再见倾心。这一世，咋就看不上眼了如果您喜欢世子爷心怀不轨，别忘记分享给朋友...
帝少宠妻太高调
帝少宠妻太高调简介emspemsp关于帝少宠妻太高调轻信渣男，慕久被害的家破人亡。今天你们弄不死我，明天我就把你们挫骨扬灰。她狰狞一笑，冷冷警告，生命垂危之际，凌莫风赶来，霸气将她救走。三年她不断强化自己，带着满身的仇恨归来...
前任求着我回去
美人如镜书籍简介是一部跨越时空讲述美丽与命运交织的传奇小说。故事以古代和现代两个时空为背景，描绘了一群不同身份不同命运的美人，她们或妩媚或清丽或智慧或坚强，在各自的人生舞台上演绎着精彩纷呈的篇章。在古代部分，故事聚焦于一位名叫苏婉儿的宫廷女子。她天生丽质，才情出众，却因宫廷斗争而身陷囹圄。然而，她凭借智...