报告题目：反推数学与Hindman定理

报告人：杨跃教授

报告时间：2024年12月30日9:30-12:00

报告地点：数统学院4号楼306

邀请单位：福州大学数学与统计学院

报告内容简介：本报告将简单介绍反推数学这一领域，并主要考察对拉姆塞理论的逻辑分析。之后我们会继续分析Hindman定理，并介绍最近廖宇科的一个结果：存在一个递归染色，使得Hindman定理没有Pi_3的解。他于2023年从新加坡国立大学博士毕业。

报告人简介：杨跃，北京大学数学学士，美国康奈尔大学数学博士。现为新加坡国立大学数学系教授。主要研究领域为数理逻辑中的递归论和反推数学。