征夷大将军 发表于 2015-2-27 12:01 
刘路现在怎么样了,网上的报道全都在12年就戛然而止了,也没见出什么成果,知网上啥都没有。
感觉他和张脱 ...
中南大学刘路同学2012年证明了英国数理逻辑学者西塔潘提出的西塔潘猜想。其论文名为"RT_2^2 does not imply WKL_0",发表在《符号逻辑杂志》(Journal of Symbolic Logic)2012年第二期609-602页。刘同学刚刚发表这篇论文的时候,还被一些网友质疑。现在看看怎么样?把他的论文放到谷歌学术里面溜溜。结果显示,这篇论文截至2015.1.29的引用次数为29,Web of Science的引用次数是6,这29次里面几乎没有中国人引用,其中有数学四大天王杂志《美国数学会杂志》的论文
Chong C, Slaman T, Yang Y. The metamathematics of stable Ramsey's theorem for pairs[J]. Journal of the American Mathematical Society, 2014, 27(3): 863-892.
引用了刘路的论文。
刘路的第二篇论文《避免计算——闭集上的所有成员》(《Cone avoid closed sets》)发表于国际数学权威杂志《Transaction of AMS》(《美国数学学会会刊》)该杂志评审认为:作者在前一篇论文中,证明了RT2不蕴含WKL0从而解决反推数学中最悬而未决的问题之一。这篇论文是前一篇论文的续接,作者改进了前一篇论文中的技术,并将结论从不蕴含WKL0推广到更弱的系统WWKL0,同时给出了涉及反推数学和算法随机性理。
著名数学家侯振挺教授评价:刘路的这篇论文比第一篇论文水平更高,可解决计算理论领域一系列问题。
http://news.its.csu.edu.cn/readn ... d=20131028091407246