学术资讯丨若海逻辑论坛第五期：反推数学与拉姆塞型定理

主题

反推数学与拉姆塞型定理

主讲

杨跃

新加坡国立大学数学系教授

时间

2025年11月27日 周四 15:00

地点

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

主讲人简介

杨跃，新加坡国立大学数学系教授、博士生导师。北京大学数学系理学学士，美国康奈尔大学数学系理学博士。主要研究领域为递归论、反推数学、数学哲学。在Journal of the American Mathematical Society、Transactions of the American Mathematical Society、Advances in Mathematics、Israel Journal of Mathematics等期刊发表论文数十篇。

讲座简介

这个讲座有两个目标。其一是向一般听众介绍反推数学，并以拉姆塞定理作为主要例子进行说明。这部分内容将会包括一些历史背景、主要动机以及基本术语的介绍。其二是介绍我与新加坡国立大学的同事们近期取得的一些研究成果。讲座的后半部分可能会涉及部分证明细节。

来源｜哲珠新媒体

编辑｜姚元琦

初审｜韩　珩

审核｜卢　毅

审核发布｜屈琼斐