二、地点:潍坊学院人合楼8115教室
三、主讲人:李国伟
四、讲座题目:数理逻辑进中国
五、承办单位:数学与统计学院 科研处
六、讲座内容:古希腊亚里士多德(公元前384—公元前322年)开创了“逻辑”这门学问在西方的传统,但是之后长时间没有发生本质上的巨大变革。直到布尔(1815—1864)将代数方法引入逻辑,逐渐衍生出“数理逻辑”这种新方法对传统逻辑的再造。当今数理逻辑已成为严谨数学论证,以及建构计算机理论的基础。本次报告将介绍中国学者接触与引进数理逻辑的历程,特别介绍俞大维的事迹,他是第一位在国际一流期刊发表数理逻辑论文的中国人。历史回顾止于山东济南出生的王浩,他是第一位在数理逻辑研究上,扬名国际的中国人。
七、主讲人简介:李国伟,获美国杜克(Duke)大学博士,后任职于台湾省中央研究院数学研究所,1987年至1993年担任所长。1994年至1996年担任秘书长。曾任台湾省数学会副理事长,获中国台湾地区国科会优良、杰出研究奖,数学会杰出贡献奖。主要研究图论与组合数学,特别是与染色相关问题,另外旁及数学哲学、数学史,以及数学科普。2024年由(北京)高等教育出版社出版《数学文化览胜集》(包括四分册:《人物篇》《历史篇》《艺数篇》《教育篇》)。
Powered 潍坊学院新闻中心
新闻中心电话:0536-8785616
投稿信箱:xinwzx@126.com