刘路

✍ dations ◷ 2025-07-04 12:49:42 #刘路

刘路(1989年4月2日-),笔名刘嘉忆,辽宁大连人,毕业于湖南省长沙市中南大学数学科学与计算技术学院,是中南大学教授级研究员。

刘父在国有企业后勤部门工作,母亲是一家企业的工程师,良好的家庭环境培养了他对理工科尤其是数学的热爱。他说:“如果要说我与同龄人有什么不同之处的话,那就是我对数学的特别关注。”,“上初中时,一些同学还在为数学教科书上的习题抓耳挠腮时,我就开始自学数论了。”

2008年,刘路考入了中南大学数学科学与计算技术学院。据媒体描述,在学校里,他每天进出入图书馆,每日在寝室阅读从图书馆借的全英文数学书籍,一直读到深夜。大二,刘路开始研究数理逻辑。

2010年,刘路证明了英国数理逻辑学者大卫·西塔潘(英语:David Seetapun)提出的西塔潘猜想。2012年,中南大学颁发给刘路100万元的奖励,其中50万元用于改善科研条件,50万元用于改善生活条件。

刘路被提名2012年“影响世界华人盛典希望之星”。

国际逻辑学知名专家、芝加哥大学数学系教授邓尼斯·汉斯杰弗德写信评价他:“我是过去众多研究该问题而无果者之一,看到这一问题的最终解决感到非常高兴。”“请接受我对你令人赞叹的惊奇的成果的祝贺!”

芝加哥大学博士达米尔·扎法洛夫:“这是一个重要的结果,过去20多年许多著名科研工作者在这方面进行努力。该问题的研究促进了反推数学和计算性理论方面的研究。”

相关

  • 移码突变突变(英语:Mutation,即基因突变)在生物学上的含义,是指细胞中的遗传基因(通常指存在于细胞核中的去氧核糖核酸)发生的改变。它包括单个碱基改变所引起的点突变,或多个碱基的缺失、重
  • 辽史《辽史》为元朝脱脱等人所撰之纪传体史书。由元至正三年(1343年)四月开始修撰,翌年(1344年)三月成书。脱脱为都总裁,铁木儿塔识、贺惟一、张起岩、欧阳玄、揭奚斯、吕思诚为总裁官
  • 埃及第三十王朝第 八第 十埃及第三十王朝是古埃及历史上的一个王朝,其统治者为埃及本土人,首都位于塞本尼托斯(英语:Sebennytos)。第三十王朝与第二十六王朝、第二十七王朝、第二十八王朝、第二
  • 宋偉恩 宋伟恩(英文:Wayne Song,1994年12月20日-),曾用名宋纬恩,台湾新生代男演员。出生于台湾台中市,毕业于台湾艺术大学戏剧系。2015年签约成为怡佳娱乐经纪公司培训艺人,参与为期一年半
  • 凌力凌力(1942年2月13日-2018年7月18日),女,本名曾黎力,曾用笔名曾莉莉,生于陕西延安,祖籍江西于都,中国作家、历史学家。毕业于西安军事电信工程学院(今西安电子科技大学)。从事导弹工程技
  • 山西煤销坐标:37°51′50″N 112°33′25″E / 37.86388°N 112.55700°E / 37.86388; 112.55700山西煤炭运销集团有限公司,简称山西煤销,前身是于1983年由山西省人民政府设立、身兼行
  • 拟鸡属拟鸡是一种已灭绝的鸡形目鸟类,生活于约4800万年前始新世的美国,其化石发现于怀俄明州的绿河地质组。
  • 卜锡文卜锡文(1938年-),男,陕西安康人,中国民族音乐学家、教育家,西北师范大学音乐系教授。
  • 赫伯特·杰米森赫伯特·布罗瑟森·杰米森(英语:Herbert Brotherson Jamison,1875年9月17日-1938年6月22日)是美国短跑选手,曾参加1896年夏季奥林匹克运动会,在男子400米获得银牌一面。杰米森于1897年毕业于普林斯顿大学,及后投身农业的家族生意。 七年后,他在故乡皮奥里亚建立了一家保险公司,一直经营到他去世。
  • 2020年洛杉矶道奇队球季2020年洛杉矶道奇队球季是洛杉矶道奇队史第131个球季。该年因为COVID-19疫情肆虐,导致大联盟春训提前取消。赛季也延迟到7月23日开打,并只剩下60场例行赛。道奇队在例行赛拿下43胜17败称霸大联盟,并在世界大赛以4胜2败击退光芒队,拿下队史暌违32年的冠军。道奇队在前40场比赛拿下30胜,追平队史单季前40场比赛的最佳战绩,在大联盟也仅次于2001年拿下31胜9败的水手队。道奇队最终胜率为7成17,若赛季打满162场比赛,道奇队的推算胜场可能会追平1906年小熊队和2001年水手队共同保持的单季