报告题目: 不可解性: 概念的起源与数学中的例子

报告人：吴国华 教授，新加坡南洋理工大学

报告摘要：图灵在1939年给出了停机问题，并证明了它是不可解的。之后，在数学的许多领域里，我们都发现了不可解问题，诸如分析中的Bolzano-Weistrass定理，各种形式的Hahn-Banach定理，代数中的各种理想的存在性，希尔伯特基定理，方程中的Picard定理，等等。在报告里，我们将介绍这方面的基本思想和一些相关的结果，以及近期的研究方向。

报告时间：2019年4月25日下午4:30

报告地点：瘦西湖校区38号楼103报告厅

主办单位：扬州大学数学科学学院

欢迎广大师生参加！