报告题目:20世纪几个重要的逻辑学定理
报告人:张羿 教授
报告时间:12月2日(下周二),15:10-18:00
报告地点:北京大学三教108室
报告摘要:我们回顾并评述哥德尔不完全性定理,连续统假设独立性,实数集合可测的一致性等几个重要的二十世纪逻辑学的成果。
报告人简介:张羿教授简介:北京大学哲学系学士(1988), Rutgers University 哲学博士(1997), 现为中山大学数学与计算机科学学院教授、中法合作中心中方的负责人。张羿教授是国际知名的数理逻辑专家,同时对西方艺术颇有造诣,任俄罗斯冬宫钟表与古代乐器部顾问。