手机浏览器扫描二维码访问
第1280章（第1页）
第二天，陈由嘉醒来，听王崎将这些东西介绍一遍之后，也愣了。
“我这么厉害的吗？”
女孩愣愣的眨了眨眼睛。
王崎点了点头：“超厉害。”
陈由嘉眯起眼睛，笑了。
可旋即，她有有些疑惑：“这个……算是基础算学？我原本是要开发应用……”
“这对解析算君的成就，非常有用。”王崎说道：“再者，你是从算君的‘应用’之中反推出来，也算是一条‘从理论指向运用’的道路了。”
类型论，和函数编程也是息息相关了。
尽管在地球上，Lisp一类可以实际使用的函数式编程，早在类型论之前就开发出来了，但这并不妨碍类型论让整个编程，尤其是函数编程的艺术再上一个台阶。
布尔巴基学派理论通向应用的障碍，又消去了一个。
王崎深吸一口气，严肃道：“但是，师妹，这个还不算完。在你手上，这个类型论，也只是刚刚成型而已。”
陈由嘉一愣：“你叫它什么？类型论？”
王崎点了点头：“定义语言类型……你又什么不满吗？”
陈由嘉笑了：“感觉会被你的类论【K理论】盖过名头啊。”
王崎一愣。这可是前世语境下不存在的麻烦。
“那就唤‘型论’咯。”
“听起来和你那‘类论’是一对儿啊，不妥不妥……”
王崎勾起陈由嘉下巴，反问道：“一对儿，有什么不妥？”
“别闹，这两个理论在算学领域天差地别……”
“名字相似而已嘛！”
笑闹之中，这注定震动历史的理论，算是敲定名字了。
陈由嘉却突然叹息：“这一次，还真是机缘巧合……若是没有海霆真人、冯老师的论战，我绝无可能触及算君的那一丝‘想法’；而若是没有算君的书稿，我纵使窥得门径，也未必能入……”
“自信一点。”王崎拍了拍陈由嘉的脑袋：“你也足够强了。”
兴奋过后，陈由嘉忽然又有些担忧：“话说，基派算学，主要就是为了那算学根基。这次我论文发表，那便是……便是以连宗的身份加入现在的论战了吧？是不是……不大好？”
一个学派，总得有一个学派的理念一以贯之。
王崎思考片刻：“我看没什么不好啊。我发表不周之算的时候，可还算歌庭派编外成员呢。”
“啊？我总觉得你做了个不吉利的比喻……”
王崎摆手：“想哪去了……总之，不周之算，算是我万法门内崛起的一个点，也算是基派的原点了吧？可以说，连宗离宗的上一场论战，就是由我终结。而现在，也就是他们最后的论战，也算是因我而起。”
现在离宗连宗，都在尝试对不完备定理发起挑战。王崎这么说，也没错。
“我也正是因为这样，才有了组件基派的资本。”
“这一场纷乱，因基派而起，那么，由基派成员终结，也并无不妥。”
陈由嘉语气一滞：“终结……”
王崎点了点头：“终结。我该说……去吧，终结这个旧世代。”
玄学大佬在现代 武裂苍穹秦天青儿百度云 穿书之末世娇宠 穿成大佬假妹妹 唐老太的种田生活 替嫁给病弱佛修太子后他破戒了姜南枝容司璟番外 七零空间小娇女 替嫁给病弱佛修太子后他破戒了姜南枝容司璟更新 贵门妾 神道丹帝叶尘苏傲雪全本免费阅读 武裂苍穹秦天青儿全集免费阅读 替嫁给病弱佛修太子后他破戒了姜南枝容司璟后续 九子登云的作品武裂苍穹 天才高手 一觉醒来怀了崽 就想和你在一起 替嫁给病弱佛修太子后他破戒了姜南枝容司璟全文免费完结版 人人都爱马文才 封先生的宠爱 周一见
逍遥小农场
逍遥小农场简介emspemsp关于逍遥小农场苦逼小菜农张一田家遭厄运，先有无耻大伯咄咄逼人，后有权贵恶少无理欺辱，正所谓么欺少年穷！一夜之间得到神农传承，从此穷屌丝开始逆袭人生！种良田开农场打权贵泡美女我是张一田，我为自己的农场代言！首发po18nlpo1⒏υip...
渣了大佬的团宠她翻车了
扒马甲，甜苏爽，反派变团宠连家失踪的小女儿被找回来了！反派女配连千奈摇身一变成了治愈系小仙女，不搞破坏不乱作，一心一意为大家！面对执意追求梦想的校草，连千奈是和他一起参赛的队友，无论任何事，我永远站在你身边。面对听力丧失的音乐天才，连千奈是每天和他用手语比谱子的乐迷，我会一直攒钱等你的演唱会。面对情感障碍的影帝，连千奈是一遍又一遍和他对戏的小助理，我愿意陪你练习一千次。面对气味排斥的霸总，连千奈是会培育珍稀花卉的园艺师，只要能闻见大自然，就会很幸福。面对偏执阴郁的IT大佬，连千奈是唯一送他礼物的小粉丝你要记得直播，不可以鸽我。后来。在连千奈开心去为女主过生日的时候，几位大佬同时在场，才发现自己的白月光是同一个人。连千奈我只是个善心大发的滥好人罢了。大佬们被女配小天使治愈的故事团宠马甲被扒后的翻车修罗场快乐小甜饼，没有逻辑如果您喜欢渣了大佬的团宠她翻车了，别忘记分享给朋友...
龙起南洋
龙起南洋简介emspemsp关于龙起南洋十九世纪中叶，中国在西方的入侵下开始沉沦！列强的坚船利炮轰开了国门，鸦片掠夺了国人的财富，神州蒙尘！机械冶金双料博士龙宇飞回到晚清，崛起于南洋，推翻满清，搭上殖民扩张的末班车，实现民族复兴！龙起南洋，纵横四海，终结风帆时代！新书铁血强国正式上传，书友们多多支持啊！...
秦时：从签到墨家开始
赢天原本是蓝星的大学生，五年前穿越到秦国，成为秦候三公子，开启了系统。第一年，签到了墨家，成为墨家钜子，耳目遍布天下！第二年，签到了罗网，掌控了秦时明月世界的江湖，罗网所在咸阳。第三年，签到了九千万石粮草，储存在咸阳粮仓之中。今年已经是第五年了，签到了三万玄甲军，又被安排在了咸阳，虽然我名义上是咸阳城主，但是我没赴任啊，你总是签到在咸阳，这不是坑爹吗？这一天圣旨道圣命，调三公子赢天即刻赴任咸阳，总揽咸阳军政大权！在乱世之中，面对天子威压，诸国虎视，为了生存，不得不气吞万里如虎，奋六世之余烈，志在东出，智斗天子，北灭百戎，横扫诸国，一统寰宇。成为秦国大帝的赢天登上九丈高台，向天下振声宣布波澜壮阔的战国时代，至朕而终。历史架空，历史党请勿细究！如果您喜欢秦时从签到墨家开始，别忘记分享给朋友...
带着仙门混北欧
陈松挥手打开了一扇门，然后混入了一个全新的世界。这是一个仙与道的世界，一个可以求长生的世界，不过这是曾经，他遇到的是灵气枯竭的仙道末世。还好地球尚有灵气能用，于是他决定奔赴那些灵气最充盈的地方，去种田，去养牲口，去狩猎深山，去捕捞远海，去用一切能获取灵气的法子壮大自己，去穿梭两个世界，混出一份精彩人生。如果您喜欢带着仙门混北欧，别忘记分享给朋友...
夫君独宠绿茶？我嫁权臣灭他全家
上一世，姜也一心爱慕国公府世子萧珩，费劲心机终于如愿成了他的夫人。在内，忍受婆母刁难为他操持后院殚精竭虑，在外，为他拉拢一向中立的父亲辅助太子登基。原以为他是她的救命草，没想到却是她的夺命刀倾尽一场，最后换来的却是心上人和绿茶表妹一家联手的背叛，不仅自己落得身败名裂成了下堂弃妇，甚至还害的父母因莫须有的罪名而...