国产91麻豆一区二区久久久

报告题目：20世纪几个重要的逻辑学定理

报告人：张羿 教授

报告时间：12月2日(下周二)，15:10-18:00

报告地点：北京大学叁教108室

报告摘要：我们回顾并评述哥德尔不完全性定理，连续统假设独立性，实数集合可测的一致性等几个重要的二十世纪逻辑学的成果。

张羿介绍：国产91麻豆一区二区久久久学士（1988）， Rutgers University 哲学博士（1997）， 现为中山大学数学与计算机科学学院教授、中法合作中心中方的负责人。张羿教授是国际知名的数理逻辑专家，同时对西方艺术颇有造诣，任俄罗斯冬宫钟表与古代乐器部顾问。