手机浏览器扫描二维码访问
第1280章（第1页）
第二天，陈由嘉醒来，听王崎将这些东西介绍一遍之后，也愣了。
“我这么厉害的吗？”
女孩愣愣的眨了眨眼睛。
王崎点了点头：“超厉害。”
陈由嘉眯起眼睛，笑了。
可旋即，她有有些疑惑：“这个……算是基础算学？我原本是要开发应用……”
“这对解析算君的成就，非常有用。”王崎说道：“再者，你是从算君的‘应用’之中反推出来，也算是一条‘从理论指向运用’的道路了。”
类型论，和函数编程也是息息相关了。
尽管在地球上，Lisp一类可以实际使用的函数式编程，早在类型论之前就开发出来了，但这并不妨碍类型论让整个编程，尤其是函数编程的艺术再上一个台阶。
布尔巴基学派理论通向应用的障碍，又消去了一个。
王崎深吸一口气，严肃道：“但是，师妹，这个还不算完。在你手上，这个类型论，也只是刚刚成型而已。”
陈由嘉一愣：“你叫它什么？类型论？”
王崎点了点头：“定义语言类型……你又什么不满吗？”
陈由嘉笑了：“感觉会被你的类论【K理论】盖过名头啊。”
王崎一愣。这可是前世语境下不存在的麻烦。
“那就唤‘型论’咯。”
“听起来和你那‘类论’是一对儿啊，不妥不妥……”
王崎勾起陈由嘉下巴，反问道：“一对儿，有什么不妥？”
“别闹，这两个理论在算学领域天差地别……”
“名字相似而已嘛！”
笑闹之中，这注定震动历史的理论，算是敲定名字了。
陈由嘉却突然叹息：“这一次，还真是机缘巧合……若是没有海霆真人、冯老师的论战，我绝无可能触及算君的那一丝‘想法’；而若是没有算君的书稿，我纵使窥得门径，也未必能入……”
“自信一点。”王崎拍了拍陈由嘉的脑袋：“你也足够强了。”
兴奋过后，陈由嘉忽然又有些担忧：“话说，基派算学，主要就是为了那算学根基。这次我论文发表，那便是……便是以连宗的身份加入现在的论战了吧？是不是……不大好？”
一个学派，总得有一个学派的理念一以贯之。
王崎思考片刻：“我看没什么不好啊。我发表不周之算的时候，可还算歌庭派编外成员呢。”
“啊？我总觉得你做了个不吉利的比喻……”
王崎摆手：“想哪去了……总之，不周之算，算是我万法门内崛起的一个点，也算是基派的原点了吧？可以说，连宗离宗的上一场论战，就是由我终结。而现在，也就是他们最后的论战，也算是因我而起。”
现在离宗连宗，都在尝试对不完备定理发起挑战。王崎这么说，也没错。
“我也正是因为这样，才有了组件基派的资本。”
“这一场纷乱，因基派而起，那么，由基派成员终结，也并无不妥。”
陈由嘉语气一滞：“终结……”
王崎点了点头：“终结。我该说……去吧，终结这个旧世代。”
烈火燃情：高冷总裁滚远点 神偷长公主 天黑请开眼 一爱到底之顾少毒妻 最强除妖师 我是狠人大帝的同乡 直播和男神同居的日子 赌妃在上，王爷在下 悍妻[医道] 废材重生：邪王独宠悍王妃 断神 穿越之弃子国师 大明孤狼 天地炼成 系统之娇宠孕妻 扛着boss拼下限（末世） 时光请善待我的她 娱乐超级奶爸 眼镜兄撞上恶魔王子 捡到病娇太子之后（重生）
超强保镖
回国的强者本想安分守己的做个出租车小司机，没想到一次机缘巧合之下救了美女总裁，从此之后，小司机有了春天，做起了美女总裁的贴身保镖，一代超强保镖就此诞生。且看超强保镖林洋，穿梭在都市之中，面...
穿越武大郎从卖饼开始
我穿越成武大郎，刚来就遇到潘金莲。潘金莲嫁给我后感叹自己命苦，但她却发现这个大郎不一般，他的身高，容貌发生了惊人变化，且会厨艺，懂诗词，能武功。遇到西门庆，敢觊觎我娘子？爆锤。王干娘做的好事？弄她。赚钱？抱歉，我精通各种厨艺，席卷宋朝餐饮业。打仗？其实我精通孙子兵法，鬼谷子，三十六计，五经七书，六韬，三略，诸葛兵法论权力，他和当今官家称兄道弟，权倾朝野。遇到水浒好汉，将其统统收服，他能威慑辽国收回燕云十六州，且镇压西夏，金国，以及倭国，拂菻他还能现代化经济建设，改变历史。从此大宋出了个武大郎，他的名声广传天下，威震四海！莫能比也如果您喜欢穿越武大郎从卖饼开始，别忘记分享给朋友...
重生1982做顽主
玩主者顽主，把玩当成正经事，玩出花儿，玩出事业，玩出人生。而杜康精通古董修复，国宝修复需请他出手。精通古董辨识，收藏家想要请他鉴宝。精通玉器赌石，可从顽石中找到宝玉。更精通天下百工，随便一件作品都要数百上千万，有作品拍出过亿的价格。如果您喜欢重生1982做顽主，别忘记分享给朋友...
晚安小萌妻
关于晚安小萌妻雨夜逃婚，迷糊的她强上了未婚夫儿子的车，以为从此逃离魔掌。到头来，她却从一个坑跳进了另一个坑里，一张契约让她从后妈成了儿媳。人前，他对她万般宠爱，眉宇间的爱意如浓郁的巧克力怎么也化不开。她明知是戏，却还不可救药的深陷其中，伤身伤心。人后，他对她呼来喝去，却当关爱与依赖已刻入骨髓，他才后知后觉。...
男人三十
关于男人三十公司破产，妻子出轨，背负巨债，我该何去何从我记得一句话，要么在沉默中死亡，要么在沉默中爆发。我不甘被人戏耍于股掌之间，决心要复仇，要东山再起。对不起我的，我要让他们知道后果，背叛我的，要付出代价。亏欠我的，我将加倍讨回。男人三十，精彩人生才刚刚开始！...
世子妃又野又甜
传闻中恶行昭著不知礼数的草包小姐被退了婚！世人议论纷纷，皆大欢喜。殊不知陆南枝为了退婚干出多少丧心病狂的事儿。众人耻笑没多久，这位怀文候府庶出小姐引得皇城世家公子个个上门求娶。众人悴。后来有一日，陆南枝和那位举世无双温润如玉的世子爷走在一起。霎时，可谓山崩地裂！陆南枝一生都在苦苦追求，研权谋学武艺弃闺阁入朝堂！一双素手掌棋局，抬眸便可定乾坤抒情版文案我把我的心给她，哪怕她撕碎了，踩烂了，也是我愿意的，你管不了，任何人也管不了！沈容煦他们杀人放火也好，灭我家国也罢，哪怕是一寸寸敲断我骨头，我都不会有这般滔天恨意！为何死后扒皮抽筋？挂头颅于城墙之上暴晒！为何死前凌辱？于一介弱女子梳洗之刑？谁若拦我，我便杀死！你若拦我，我便杀你！陆南枝PS男强女强，双洁一对一，简介仅供参考，详情请戳正文。如果您喜欢世子妃又野又甜，别忘记分享给朋友...