报告人：孙智伟（南京大学）

邀请人：胡怡宁

报告时间：2021年1月23日（星期六）9:30-11:00

报告地点：腾讯会议 ID：647 780 912（会议密码：512334）

报告题目: 一般的指数丢番图方程可解性不可判定

报告摘要：本报告先介绍必需的可计算性理论基础知识，然后详细证明Davis-Putnam-Robinson定理：整数环上一般的指数丢番图方程可解性不可判定。此结果是否定解决希尔伯特第十问题的重要一步。

报告人简介：孙智伟，南京大学数学系教授、博士生导师，数学系数学与应用数学专业主任, 中国数学会组合与图论专业委员会副主任，其研究方向为组合数论与加法组合。他在组合与数论交叉领域有许多创新成果, 迄今已在国外著名数学期刊《Trans. Amer. Math. Soc.（美国数学会汇刊）》等杂志上发表了两百多篇学术论文。他还提出许多原创性数学猜想，引起国际同行的关注与研究。