报告人：孙智伟（南京大学）
邀请人：胡怡宁
报告时间：2021年3月14日（星期日）9:30-11:00
报告地点：腾讯会议 ID：664 941 062（会议密码：512334）
报告题目：11未知数定理及其应用
报告摘要：有了前三场报告的铺垫与准备，我们将完成报告人的11未知数定理（不存在算法可用以判定任给的有11个未知数的多项式丢番图方程是否有整数解）的证明，这是原始希尔伯特第十问题在限定未知数个数方面的目前最佳记录。事实上，我们将证明更强的一个形式，它统一了Matiyasevich的9未知数定理与报告人的11未知数定理。我们还将改造11未知数定理的证明来说明不存在能行算法可用以判定P(x12,…,x172) = 0是否有整数解，这儿P是一般的有17个变量的整系数多项式。
报告人简介：孙智伟，南京大学数学系教授、博士生导师，数学系数学与应用数学专业主任, 中国数学会组合与图论专业委员会副主任，其研究方向为组合数论与加法组合。他在组合与数论交叉领域有许多创新成果, 迄今已在国外著名数学期刊《Trans. Amer. Math. Soc.（美国数学会汇刊）》等杂志上发表了两百多篇学术论文。他还提出许多原创性数学猜想，引起国际同行的关注与研究。
