逸仙逻辑讲坛第四十四期｜刘路：一个与组合数学命题等价的可计算性理论问题

主讲人简介 

刘路，中南大学数学与统计学院教授，主要研究领域为可计算性理论和反推数学。作为本科生于2011年独立解决了反推数学领域著名的难题：有序对上的Ramsey定理是否蕴含弱柯尼希引理。因此获 2012 年中国科学年度新闻人物，中国大学生年度人物，影响世界华人希望之星；并被中南大学破格聘请为正教授级研究员，创造中国最年轻教授纪录。

 讲座摘要 
我们证明，Miller和Solomon的问题——是否每个有穷长字符序列上的染色c都存在c-可计算的variable word infinite解，等价于一个组合数学问题。该组合数学问题为是否存在一个无穷长整数序列使得其每个初段都满足一个Ramsey类型的性质。该组合数学问题的否定，是Hales-Jewett定理的自然推广。