第243章 举荐特级（1/2）

“数学的未来？”，江铭琢磨着这个问题，之前他还从未思考过。

沉吟片刻，他开口道：“我觉得数学的未来，就是寻找数学终极。”

“数学终极？”，莉雪不解，她还从未听说过这个名词。

“是我在我论文中提到的概念。”，江铭解释道：“目前我们在数学上已经有了整整三套逻辑系统，以皮亚诺算数为基础的符号逻辑系统，基于望月新一宇宙际Teichmüller理论的基本函数逻辑系统，以及我所开创的以椭圆曲线为基础的数形结合的逻辑系统。”

“这些逻辑系统都有着自身易解和难解的问题，这对同一个问题证明的难易程度代表了在更高维度的数学世界中所处的位置，而数学终极就是那个原点...”

“我希望能开创一个专门研究逻辑系统的方向，可以叫元数学，就是在这不同逻辑系统的对比研究下，向着数学终极迈进。”，江铭的声音坚定道。

“好的，虽然听不太懂，但我会如实把江教授的愿景报道出去的。”，莉雪崇敬道。

电话挂断。

悦耳的系统提示音随之响起。

【叮！检测到新任务：数学终极。】

【说明：持有者已经开始对数学终极的概念有所理解，那么就继续沿着这条路走下去吧！】

【要求：建立真正完备的逻辑系统。】

【奖励：数学学科经验30000点，可分配经验30000点，积分10000点。金色抽奖券*1。】

金色抽奖券！江铭露出几分惊讶之色，他还从未得到过如此高等级的抽奖券，这个任务的难度必然极高，甚至不是现在的他有能力解决的。

更加令他瞳孔巨震的，则是任务要求里的内容。

建立真正完备的逻辑系统，这就是系统对于数学终极的定义吗？

要知道，哥德尔不完备定理已经证明了，任何包含皮亚诺算数的公理体系都是不完备的，这意味着所谓的完备逻辑系统，那个数学终极根本不是能用人类的语言描述出来的。

连描述都无从描述，还怎么研究？

江铭暂时还不清楚要怎么才能完成这个任务。

他思考片刻便决定先按着之前的规划，研究最为紧急的常温超导任务，之后再看看这个任务能否有转机。

都没有给出任务期限，说明系统也觉得这是一个长期任务吧...

...

“好小子，竟然真的证明了！”，张文轩看着网络上报道的消息，笑着拍了一下自己的大腿。

竟然真的证明了哥德巴赫猜想，这个困扰人类多年的难题是我们华国人解决的！

他激动得简直想要从椅子上蹦起来跳舞！

好不容易冷静下来，他这才感叹起江铭的天赋来。

竟然在如此短的时间内就拿下了数学界最巅峰的那个问题，关键是他才刚刚20岁！

可以预见不远的未来，他江铭必定将数学推到无法想象的高度。

唯一令张文轩感到痛心与可惜的是，这江铭竟然是信息学的研究员。

虽然在数学领域取得了如此巨大的成就，但如今人们每每谈起江教授，都会说这是来自华国的信息学天才教授。

即使他解决了哥德巴赫猜想！

这一下子显得好像哥德巴赫猜想很简单一样，被信息学的教授顺手就证明出来了。

张文轩酸溜溜地想着，要是江教授是数学领域的研究员就好了。

嗯？一个灵感突然从他心底里冒了出来，似乎把江教授变成数学学科研究员并不是没有可能！

虽然每个人同一时间只能持有一个学科的研究员身份，但他可以向蓝星学术委举荐江铭成为数学系的特级研究员啊！

这在蓝星并不是没有先例。

科学是共通的，许多研究员在自己的领域做着做着就做到其他领域去了，就像是化学跳材料学，物理学跳能源学，这在学术界都是很常见的。

只不过从其他学科跳到数学学科的研究员太过少见，所以他刚刚没有想到这一点。

按照江铭目前在数学领域的成果，的确已经够格晋升特级研究员了。

不但解决了数学界最巅峰的难题，还做了无损凸优化这样的应用数学成果，再加上之前对望月新一宇宙际Teichmüller理论的化简工作。

如果这都不足够评特级，那蓝星的特级就要变成看得见摸不着的虚名了。

想到这里，张文轩算了一下时差便立刻给蓝星学术委主席打去了电话。

经由助理转接，很快电话那头就传来了罗伯特的声音：“张教授，有什么事情吗？”

张文轩张了张嘴，真到开口挖墙角的时候还是有些不好意思，但还是咬牙说出了来意。

“额...那个，我想要举荐我们华国的江铭教授晋升数学界的特级研究员。他在数学领域的理论成果已经足够评定为特级，分别有...”

张文轩报菜名般把江铭的工作全部报了一遍。

“的确如此。”