一、时间：2026年4月19日（星期日）下午2：00

二、地点：taptap点点体育在线人合楼8115教室

三、主讲人：李国伟

四、讲座题目：数理逻辑进中国

五、承办单位：数学与统计学院   科研处

六、讲座内容：古希腊亚里士多德（公元前384—公元前322年）开创了“逻辑”这门学问在西方的传统，但是之后长时间没有发生本质上的巨大变革。直到布尔（1815—1864）将代数方法引入逻辑，逐渐衍生出“数理逻辑”这种新方法对传统逻辑的再造。当今数理逻辑已成为严谨数学论证，以及建构计算机理论的基础。本次报告将介绍中国学者接触与引进数理逻辑的历程，特别介绍俞大维的事迹，他是第一位在国际一流期刊发表数理逻辑论文的中国人。历史回顾止于山东济南出生的王浩，他是第一位在数理逻辑研究上，扬名国际的中国人。

七、主讲人简介：李国伟，获美国杜克（Duke）大学博士，后任职于台湾省中央研究院数学研究所，1987年至1993年担任所长。1994年至1996年担任秘书长。曾任台湾省数学会副理事长，获中国台湾地区国科会优良、杰出研究奖，数学会杰出贡献奖。主要研究图论与组合数学，特别是与染色相关问题，另外旁及数学哲学、数学史，以及数学科普。2024年由（北京）高等教育出版社出版《数学文化览胜集》（包括四分册：《人物篇》《历史篇》《艺数篇》《教育篇》）。