m***c 发帖数: 1177 | 1 【 以下文字转载自 CSU 讨论区 】
发信人: ohioboy (来去匆匆), 信区: CSU
标 题: 最年轻教授级研究员刘路的计算理论研究取得新进展
发信站: BBS 未名空间站 (Mon Oct 28 11:11:34 2013, 美东)
http://news.its.csu.edu.cn/readnewsarticle?atcid=20131028091407
本网讯: 记者从校概率论与数理统计研究所获悉,今年24岁的教授级研究员刘路,继
成功破译国际数学难题“西塔潘猜想”之后,近年来,又在计算理论领域取得最新研究
进展。
刘路的第二篇论文《避免计算——闭集上的所有成员》(《Cone avoid closed
sets》)已通过国际数学权威杂志《Transaction of AMS》(《美国数学学会会刊》)
评审,即将发表。
该杂志评审认为:作者在前一篇论文中,证明了RT2不蕴含WKL0从而解决反推数学中
最悬而未决的问题之一。这篇论文是前一篇论文的续接,作者改进了前一篇论文中的技
术,并将结论从不蕴含WKL0推广到更弱的系统WWKL0,同时给出了涉及反推数学和算法
随机性理论的一些结果的新的证明,不仅仅是提供一个巧妙的证明而是发明了一个全新
的技术,更深入地阐述了这个技术的基本原理和它的应用,该技术完全能够给数个领域
带来更多的结果,广泛引起了数理逻辑数个领域的专家们的兴趣,是计算理论和相关领
域近年来最重要的贡献之一。
著名数学家、我校概率论与数理统计研究所所长侯振挺教授评价:刘路的这篇论文
比第一篇论文水平更高,可解决计算理论领域一系列问题。
刘路介绍,这篇论文主要将原来用于解决Seetapun猜想的方法进行推广并应用到其
他问题中,写作花了一个月,修改花了几个月,其间,根据审稿人的意见进行了两次大
的修改,去年年底被《Transaction of AMS》接收,目前正在排刊,等待正式发表。这
一年多来,他在读博的同时,专注于学问,今年十月,他参加中国数学学会年会,并做
了“模型论的运用(应用)”的大会报告;“集合组合数学性质与计算性质之间的关系
”也成功申报2013年国家自然科学基金青年项目,今后将更多地学习、研究有关机器学
习、数理统计等方面的问题。同时他表示,自己是学校青年人才培养激励机制改革的受
惠者,他将充分利用学校提供的优厚政策和自由环境,潜心研究,加快成长。 |
L*********s 发帖数: 3063 | 2 sounds very 牛 for his age |
l******r 发帖数: 18699 | 3 这才是真正搞理论的
【在 m***c 的大作中提到】![](/moin_static193/solenoid/img/up.png) : 【 以下文字转载自 CSU 讨论区 】 : 发信人: ohioboy (来去匆匆), 信区: CSU : 标 题: 最年轻教授级研究员刘路的计算理论研究取得新进展 : 发信站: BBS 未名空间站 (Mon Oct 28 11:11:34 2013, 美东) : http://news.its.csu.edu.cn/readnewsarticle?atcid=20131028091407 : 本网讯: 记者从校概率论与数理统计研究所获悉,今年24岁的教授级研究员刘路,继 : 成功破译国际数学难题“西塔潘猜想”之后,近年来,又在计算理论领域取得最新研究 : 进展。 : 刘路的第二篇论文《避免计算——闭集上的所有成员》(《Cone avoid closed : sets》)已通过国际数学权威杂志《Transaction of AMS》(《美国数学学会会刊》)
|
s*******n 发帖数: 740 | |
M****o 发帖数: 4860 | 5 Trans AMS勉强算二流吗?
【在 s*******n 的大作中提到】![](/moin_static193/solenoid/img/up.png) : 牛逼啊。TAMS
|
M****o 发帖数: 4860 | 6 外F专家,你不是要Anals才算搞理论吗?
【在 l******r 的大作中提到】![](/moin_static193/solenoid/img/up.png) : 这才是真正搞理论的
|
l******r 发帖数: 18699 | 7 好奇你平时都发什么杂志?
【在 M****o 的大作中提到】![](/moin_static193/solenoid/img/up.png) : 外F专家,你不是要Anals才算搞理论吗?
|
l******r 发帖数: 18699 | 8 照此发展 刘璐发annals只是时间问题 他做的东西我读了 的确很牛
【在 M****o 的大作中提到】![](/moin_static193/solenoid/img/up.png) : 外F专家,你不是要Anals才算搞理论吗?
|
w*q 发帖数: 1544 | 9 ACTA可以吗?
【在 l******r 的大作中提到】![](/moin_static193/solenoid/img/up.png) : 照此发展 刘璐发annals只是时间问题 他做的东西我读了 的确很牛
|
l******r 发帖数: 18699 | 10 怎么说呢 数学家还是得发个四大才行 否则真不好意思跟别人说自己是数学家 至多是
个数学工作者而已
这几年中国人发四大已经不少了 十年前发个四大在中国都能评院士 现在国内都已经不
是很稀罕了
【在 w*q 的大作中提到】![](/moin_static193/solenoid/img/up.png) : ACTA可以吗?
|
|
|
w*q 发帖数: 1544 | 11 国内发四大的还是屈指可数的啊
【在 l******r 的大作中提到】![](/moin_static193/solenoid/img/up.png) : 怎么说呢 数学家还是得发个四大才行 否则真不好意思跟别人说自己是数学家 至多是 : 个数学工作者而已 : 这几年中国人发四大已经不少了 十年前发个四大在中国都能评院士 现在国内都已经不 : 是很稀罕了
|
l******r 发帖数: 18699 | 12 不过现在发一个四大就评院士貌似不可能了 除非有能力以外的东西
【在 w*q 的大作中提到】![](/moin_static193/solenoid/img/up.png) : 国内发四大的还是屈指可数的啊
|
w*q 发帖数: 1544 | 13 这两个之间没有必然联系。那院士也不一定能发四大啊
【在 l******r 的大作中提到】![](/moin_static193/solenoid/img/up.png) : 不过现在发一个四大就评院士貌似不可能了 除非有能力以外的东西
|
l******r 发帖数: 18699 | 14 除非能力之外的因素
【在 w*q 的大作中提到】![](/moin_static193/solenoid/img/up.png) : 这两个之间没有必然联系。那院士也不一定能发四大啊
|
w*q 发帖数: 1544 | |
B********e 发帖数: 10014 | 16 加油,你快了hehe
【在 w*q 的大作中提到】![](/moin_static193/solenoid/img/up.png) : 在美国,2篇四大估计也能去顶尖数学系了吧
|
w*q 发帖数: 1544 | 17 谢谢夸奖
【在 B********e 的大作中提到】![](/moin_static193/solenoid/img/up.png) : 加油,你快了hehe
|
n*******l 发帖数: 2911 | 18 已经发了几篇四大了?其实多发点CPAM,ARMA,也可以凑活了。
【在 w*q 的大作中提到】![](/moin_static193/solenoid/img/up.png) : 谢谢夸奖
|
w*q 发帖数: 1544 | 19 没有发啊,他是在吹捧我啊。
我觉得arma这年头不管用了。
【在 n*******l 的大作中提到】![](/moin_static193/solenoid/img/up.png) : 已经发了几篇四大了?其实多发点CPAM,ARMA,也可以凑活了。
|