学术讲座

首页 >> 学术讲座

理学院2017-2018学年春季第十二周学术报告(二)

发布时间:2018-05-16

学 术 报 告

报告题目A taste of logic--from the reasoning of a thief to a painless proof of the incompleteness theorem of Godel

报告学者金人麟教授

报告者单位:Department of Mathematics, College of Charleston,USA

报告时间2018年5月22日(星期二)下午4:30—5:30

报告地点:思源201

摘要We will present some fun part of mathematical logic including a puzzle, a true paradox, and a fake paradox. The discussion will lead to Godel’s Incompleteness Theorem. Godel’s Incompleteness Theorem is well-known but difficult to proof. We will present a heuristic proof of the theorem which should be sufficient to understand the idea of the rigorous proof of the theorem.

报告人简介: 金人麟,美国查尔斯顿学院(College of Charleston,USA)数学系终身教授。Dr. Jin has many research interests including nonstandard analysis, set theory, model theory. After recieving his doctorate in Mathematical Logic from the University of Wisconsin - Madison, he was Charles B. Morrey Jr. Assistant Professor at UC Berkeley and then a National Science Foundation postdoctoral fellow. Dr. Jin has been the editor of the Journal Logic & Analysis since 2007.

主办教师:宋诗畅

欢迎广大同学老师积极踊跃参加!