本报讯 20日,中南大学召开的新闻发布会上,校长张尧学宣布,破格聘任攻克国际数学难题的在校学生刘路为中南大学正教授级研究员。今年22岁的刘路成为我国目前最年轻的正教授级研究员。
2010年8月,酷爱数理逻辑的中南大学学生刘路在自学反推数学时发现,海内外不少学者都在进行反推数学中的拉姆齐二染色定理的证明论强度的研究。这是由英国数理逻辑学家西塔潘于上世纪90年代提出的一个猜想。10多年来,许多著名研究者一直努力都没有解决。同年10月的一天,刘路突然想到用以前用过的一个方法稍作修改便可以证明这一结论,连夜将这一证明写出来,投给了数理逻辑国际权威杂志《符号逻辑杂志》。他的这一研究成果得到海内外科学家的权威认可。 (新华)