為進一步配合本科教學評估工作,營造、濃厚學術氛圍,推動學科建設,增進學術交流,理學院數學系于近期舉行了教授、博士系列學術報告活動。10月18日下午2:00,數學系徐士英教授在格致中樓503作了題為《四色問題》的精彩學術報告。這是數學系教授系列學術報告活動的第三次報告。
“四色問題”是世界近代三大數學難題之一,從提出到利用電子計算機證明歷時100多年,它的證明成為數學史上一系列新思維的起點。在“四色問題”的研究過程中,不少新的數學理論隨之產生,也發展了很多數學計算技巧,而且在有效地設計航空班機日程表,設計計算機的編碼程序上都起到了推動作用。時至今日不少數學家并不滿足于計算機取得的成就,認為應該有一種簡潔明快的證明方法,仍有不少數學家和數學愛好者在尋找更簡潔的證明方法。
徐教授從四色問題的起源講起,詳細介紹了數學家對四色問題的證明進行逐步推進的過程,并講述了數學家肯普的證明思路。最后,徐教授對當前在數學界有爭議的關于龐加萊猜想證明的問題也作了簡要說明。
本次報告由理學院副院長、數學系主任曹飛龍教授主持,數學系全體教師、研究生以及部分高年級學生聽了本次報告,大家對報告產生了濃厚的興趣,并在報告結束后進行了熱烈的討論。