学术资讯｜若海逻辑论坛第二期：一个与组合数学命题等价的可计算性理论问题

讲座标题：一个与组合数学命题等价的可计算性理论问题

01

主讲人简介

刘路，中南大学数学与统计学院教授。主要研究领域为数理逻辑，尤其是可计算性理论。在大学三年级时独立解决了反推数学中的西塔潘猜想，并在本科毕业时被破格聘请为正教授级研究员。

02

讲座时间和地点

2025年10月26日周日15点

中山大学珠海校区海琴6号A542

03

讲座摘要

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

来源｜哲珠新媒体

海报｜赵晓玉 申国桢

编辑｜王楚涵

初审｜韩　珩

审核｜卢　毅

审核发布｜屈琼斐