报告题目： 群上字问题的不可判定性

报告简介：图灵在其1936年的文章里给出了计算的严格定义(现称为图灵计算)，并证明了停机问题的不可解性。 1955年， Novikov 构造了一个有有穷展示的群G， 使得G有不可解的字问题(word problem)。这是代数里的第一个不可解问题。Boone 在1958年给出了简化构造。 Higman紧接着证明了他的嵌入定理：一个有限生成群Ｇ是可有限展示的当且仅当Ｇ是递归可展示的，并证明了Novikov-Boone定理可由嵌入定理推出。 报告里我们将介绍这几个定理的基本概念，证明思路，并给出近期代数里的不可判定性的研究进展。

报告人：吴国华，南洋理工大学教授。本科、硕士均毕业于扬州师范学院数学系, 博士毕业于新西兰惠灵顿维多利亚大学，师从Downey教授，主要从事数理逻辑、可计算性理论研究及逻辑在数学中的应用。2003年获新西兰皇家学院年度Hatherton奖（唯一华人获奖者），2005年加入新加坡南洋理工大学工作，至今主持新加坡教育部国家自然科学基金4项，参与中国国家自然科学基金重点项目、国际交流合作项目多项。已在JML，APAL，JSL，MLQ等数理逻辑方向TOP期刊上发表SCI论文60多篇。

报告时间：2024年6月19日（周三）上午10:00-11:30

报告地点：扬州大学瘦西湖校区数学科学学院208报告厅

联系人：李立斌、孙华

欢迎广大师生参加！