为进一步配合本科教学评估工作,营造、浓厚学术氛围,推动学科建设,增进学术交流,理学院数学系于近期举行了教授、博士系列学术报告活动。10月18日下午2:00,数学系徐士英教授在格致中楼503作了题为《四色问题》的精彩学术报告。这是数学系教授系列学术报告活动的第三次报告。
“四色问题”是世界近代三大数学难题之一,从提出到利用电子计算机证明历时100多年,它的证明成为数学史上一系列新思维的起点。在“四色问题”的研究过程中,不少新的数学理论随之产生,也发展了很多数学计算技巧,而且在有效地设计航空班机日程表,设计计算机的编码程序上都起到了推动作用。时至今日不少数学家并不满足于计算机取得的成就,认为应该有一种简洁明快的证明方法,仍有不少数学家和数学爱好者在寻找更简洁的证明方法。
徐教授从四色问题的起源讲起,详细介绍了数学家对四色问题的证明进行逐步推进的过程,并讲述了数学家肯普的证明思路。最后,徐教授对当前在数学界有争议的关于庞加莱猜想证明的问题也作了简要说明。
本次报告由理学院副院长、数学系主任曹飞龙教授主持,数学系全体教师、研究生以及部分高年级学生听了本次报告,大家对报告产生了浓厚的兴趣,并在报告结束后进行了热烈的讨论。