Abstract

在众多数学分支中，数学对象的分类问题往往具有核心的地位。直观上，有些分类问题比较简单，有些则非常复杂。在这个报告中我们通过一些实例来介绍一个可以严格探讨数学中分类问题的相对复杂性的数学理论，即等价关系的描述集合论。我们将展示如何将这一理论应用到数学分类问题的研究中去。

Biography

高速，南开大学讲席教授。毕业于北京大学数学系和陈省身数学研究所，博士毕业于加州大学洛杉矶分校。曾在加州理工学院从事博士后研究。2001-2021年就职于北得克萨斯大学，历任校董讲席教授，数学系主任，理学院院长。研究领域主要为数理逻辑与数学基础，在拓扑群，符号与拓扑动力系统，及遍历论方面也有建树。他在描述集合论领域的研究工作中取得一系列突破性研究成果，解决了描述集合论领域中多个处于核心地位的公开问题，相关成果发表在Inventiones Mathematicae等顶尖数学期刊以及Journal of Symbolic Logic等逻辑类权威杂志上。他担任包括《中国科学：数学》等三个杂志编委以及Perspectives in Logic丛书主编，是中国数学会终身会员，符号逻辑协会（Association for Symbolic Logic）理事会成员。现任中国数学会数理逻辑专业委员会主任。