最新网址:www.00shu.info
又是讲了大半个小时,林决大致将映射规则论述完毕后,总结道,“.......以上,就是关于我对通译函子进一步应用的看法。”
“因为时间有限,在这里我便不再一一展开细讲了。”
“现在........大家有什么问题,可以以机构代表的方式提出来,咱们再一起简单探讨探讨......”
林决话音落下。
在场众人都是沉默了。
近一个小时的时间里。
这个年轻人几乎就根据PPT上那简单函子构造,便脱稿讲了近一个多小时,属实厉害!
不过很快......
他们便从那种情绪脱离,再次将注意力放在了林氏函子上。
约莫几分钟后,一位来自苏黎世理工的代表率先起身。
“你好林教授,根据您刚才的论述......我们想知道,在范畴公理化重构,计算机函数式的跨域应用中,函子的底层逻辑是统一贯通,还是存在场景化的本质割裂呢!?”
听到这个问题。
林决忍不住笑了起来,只能说不愧都是世界顶尖团队。
对方的问题,一下就跳出了表层对,落到了抽象公理与工程落地的关系中去。
不过嘛......
在林决面前,这个答案是显而易见的.......
因为林氏函子光学变式,如今已经正式应用到解决光刻机多层膜了。
在对方提出这个问题后,下方也传来一阵躁动。
“这个问题很关键啊,虽然公理一致,但并不代表思想动机也能一样......”
“是的,我之前也一直默认二者之间同源,但总觉得又有些割裂,似乎还得辨析一番。”
“这牵扯到概念跨域移植核心了,简单类比应该不好解释......”
“差不多,还是听听主讲怎么说吧......”
众人讨论一会儿,但总归是没想出个所以然,只能再次将注意力放在林决身上。
见现场逐渐安静。
林决这才拿起电子笔,在电子空白页上写下两条规则。
【形式内核同源统一】
【应用场景理论实际差异,需要通过改变映射规则界定】
等写完之后,林决这才不急不缓开口,
“........我觉得不管是数学函子,还是函数式编程中的FUnCtOr,都需要保持恒等映射,因为二者本质,都是在不破坏原有结构的前提下,所做出的变换。”
“而在计算机应用中,编程里的函子更多是服务于代码组合,需要通过传统二进制处理,再用特定映射条件加以限制,才能走得通......
也就是说,这二者最多只能算形式上统一......”
听到这话。
那位苏黎世理工的发言代表皱眉,脸上闪过一丝释然,
“这样吗?看来后续我们工程要用的话,还得拥有新的映射规则才行啊。”
林决点头,肯定道,
“是的。”
“好的,谢谢林教授。”
林决轻轻一笑,目光扫过场下,“好的......下一位。”
..............
接着,又是花了一个小时。
林决简单给这些顶级机构解了解惑。
当然了.......
因为时间实在有限。
许多问题林决只能大致讲一讲,提供相应的研究方向和探索路径.....
若真要展开讨论,那估计再给他三五天时间,也不一定能够完全说完。
不过即使如此.......
林决的点拨,也让在场许多机构的大牛们受益匪浅。
因为林决提出的思路见解,在许多人看来,完全就是打破常规!!
比如将函子当成可验证的结构迁移通道的思路,不但建立数模的时候结构更加严谨,而且还没有了表面相似性的误导.......
再比如在BSD猜想高阶研究中,作为体系动态演化的约束规则应用,这能够让复杂的体系不再随机化,为高阶公理体系打造一套全新的逻辑闭环。
当这些东西从林决口中说出来。
让在场所有人心中都是不禁直呼:
这次真是来对了!
真是长见识了!
爱来!
以后要多来!!!
对在场这些相关方面耕耘了几十年的专家来说,今天的收获简直不要太大!!!
许多以前难以解释,逻辑复杂的难题,在经过林决讲述的函子对其的作用后,仿佛让他们重新拨云见日,从另外一个角度去理解了它们!
让人不禁有醍醐灌顶,恍然之感!
只能说......
果然不愧是通译函子的创造者......
光论对其理解深度,这个世界上已经无人能出其右!
他们只恨今天的时间太少,没能让林教授讲个尽兴!!!
当然了......
这只是他们的想法。
林决不带停的说了两个多小时,嗓子早就冒烟了。
还是单纯的学习快乐啊!
这种交流会主讲,真够累的。
终于......
林决在回答完克鲁格一个关于黎曼猜想可行性的问题后,结束了本次交流会的任务。
“......今天来,我也是想听听各位前辈对通译函子看法的,不能光是我一个人说,接下来就把时间交给你们吧。”
说罢,林决当即切掉话筒,往台下走去,留下在场几百号眼巴巴望着台上的学者们。
“不是......”
“这就......这就结束了吗!?”
“我们完全没听够啊!”
“你还如此年轻,才讲了三个小时不到,怎么就能说累呢!?”
当然了......
想虽然是这般想。
但他们还要脸,不可能真说出来。
毕竟,林决分享的干货已经足够多,足够他们回去后研究好些时间了!
与此同时。
许多机构带头人,在看到林决这般肉眼可见的天赋后,不由得对北大数院产生些许嫉妒。
为什么!
为什么这种天才,不是我们机构的人!
光是想想,就让人难受至极!
而其中,拥有这种情绪最强烈的人,其实是邱道云......
“邱老。”
回到座位的林决,对旁边不远处水木团队带头的邱道云点头示意。
邱道云脸上的苦涩一闪而逝,最终还是称赞一句,
“......表现很好,为华夏数学界争光了。”
林决闻言,笑道,“邱老谬赞。”
邱道云心中叹了口气,转头看得嫉妒得眼睛都红了的几个水木教授,小声道,
“行了行了,都一把年纪了,格局打开点。”
有人小声反驳,“那您还说为华夏数学界争光,人明明是为北大争光!”
邱道云语气一窒。
因为这话反驳不了,所以懒得反驳。
至于全程窥视这一幕的周清源,心中则是笑曰了:
“......吾师还是太强了,我这大徒弟当着好像还针不戳啊。”
最新网址:www.00shu.info