博一吧论坛白菜

當前位置: 博一吧论坛白菜 > 新聞網 > 學術動態 > 正文

數理與大數據學院邀請海外知名教授開展線上專題學術報告會

發布時間:2022-12-30 作者:劉丁芳 編輯:徐致遠 來源:數理與大數據學院

2022年12月28日,加拿大卡爾加里大學終身教授、IEEE Fellow王迎旭應邀于線上為數理與大數據學院和智能技術與工程學院師生做題為“哥德巴赫定理:基于鏡像素數分解理論對哥德巴赫猜想的形式證明”的專題學術報告。報告由數理與大數據學院院長彭軍教授主持,線上50余名師生參加了本次報告會。

YXWang圖1-1

報告會上,王迎旭教授首先介紹了哥德巴赫猜想以及證明情況。哥德巴赫猜想,其起源于1742年克里斯蒂安·哥德巴赫(Christian Goldbach)寫給利昂哈德·歐拉(Leonhard Euler)的信中提出的一個疑問:“是否每個大于2的偶數都可以表示為兩個素(質)數之和?”哥德巴赫猜想看似簡單,要證明它卻極為不易,因而被譽為“數學皇冠上的明珠”。1966年中國數學家陳景潤證明了“1+2”成立,稱為“弱哥德巴赫猜想,或三元哥德巴赫猜想,”即“一個足夠大的偶數可以表示為一個素數和一個最多有兩個素數因子的數之和”。47年之后,法國的哈洛德·賀歐夫各特(Harald A Helfgott)在2013年形式證明了此弱化猜想。

YXWang圖4-1

隨后王迎旭教授介紹了自己的研究情況。基于對全新鏡像素數集及其素數序列遞歸性質的研究,得到了鏡像素數分解定理(Mirror-Prime Decomposition,MPD),MPD定理支持對任意偶數的鏡像素數分解,從而實現了哥德巴赫猜想的形式化證明。據此所設計的一種檢驗算法已用于哥德巴赫定理的經驗演示和工程應用。在互動交流環節,王迎旭結合與會教師提出的問題,進行了詳細耐心的解答。

據悉,王迎旭是腦科學、軟件科學和智能數學領域教授。他是國際認知信息學和認知計算研究所(I2CICC)的創始主席。他是FIEEE、FBCS、FI2CICC、FAAIA和FWIF。他曾在牛津大學(1995、2018-2022)、斯坦福大學(2008、2016)、加州大學伯克利分校(2008)、麻省理工學院(2012)擔任客座教授,并在清華大學(2019-2022)擔任杰出客座教授。1998年獲得英國諾丁漢特倫特大學計算機科學博士學位,自1994年起擔任正教授。自2002年以來,創始并擔任IEEE認知信息學和認知計算國際會議系列(ICCI*CC)的指導委員會主席,以及10多個國際期刊和IEEE匯刊的主編和副主編。他是腦啟發認知系統IEEE SMCS TC BCS主席,計算生命科學IEEE CS TC-CLS聯合主席。他的基礎研究跨越了多個新興學科,包括智能、數學、知識、機器人、計算機、信息、大腦、認知、軟件、數據、系統、控制論、神經學和語言科學。他發表了600多篇同行評議論文和38本書/論文集。他80多次受邀在國際會議上發表主題演講。他曾擔任50多個國際會議的名譽主席、總主席和程序主席。作為項目負責人,他領導了10多個國際、歐洲和加拿大研究項目。他被谷歌學術評為軟件科學世界第一、認知機器人世界第一、自主系統世界第八、認知計算世界第二、知識科學世界第一,H指數66。他被ResearchGate公認為全球頂尖的1%學者之一,包括人工智能、自主系統、理論計算機科學、智能數學、軟件工程、認知科學、信息科學,以及計算語言學。他在上述跨學科領域中創造性地證明了100多個定理,包括哥德巴赫、孿生素數,和鏡像素數分解定理(對應于“歐幾里得質因數分解公理”的素數和分解定理)。

學校地址:重慶沙坪壩區大學城東路20號    郵編:401331

信息管理:黨委宣傳部(黨委網絡工作部)  技術支持:信息化中心

版權所有:重慶科技學院    

渝公網安備 50009802000806號