岳麓讲坛—创新与创业总第775期

报告题目：哥德尔定理与塔斯基定理的深刻性赏析

报告人：杨英锐 教授

报告时间：2021年3月25日19：00-21:00

报告地点：综合楼108教室

主持人：刘全慧教授

主办：3308维多利亚检测线路教务处

报告人简介：

杨英锐，1953年出生于北京。现任美国伦斯勒理工维多利亚老品牌vic3308认知科学系终身教授。本科毕业于北京师范大学数学系（1977），美国纽约大学心理学博士(1996），普林斯顿大学和美国教育考试服务中心(ETS)博士后(1997-2000）。曾任清华大学伟伦特聘教授。研究领域为心理学、经济学和认知科学，是心智力学，经济力学，高阶认知规范场论模型等领域的重要创立者。

报告简介：

希尔伯特著名的23个数学问题中包括数学的一致性、黎曼猜想等。1931年，数学家和逻辑学家哥德尔证明了哥德尔不完备性定理，即证明了数学一致性问题的独立性，影响极其深远。而塔斯基不可定义性定理是数理逻辑中唯一能与哥德尔定理媲美的工作。前者偏重语义，后者偏重句法，珠联璧合，堪称双子定理。本讲座将就双子定理的证明技巧、广泛影响、历史地位等角度，挖掘其创新点，赏析其深刻思想。