新加坡國立大學楊躍教授應邀到數學與信息科學學院作學術報告
2019年8月3日上午10點，新加坡國立大學數學系楊躍教授在第二教學樓六樓會議室爲數學與信息科學學院師生作了題爲《拉姆塞定理和反推數學》的學術報告。報告由我院劉兵教授主持，學院數學與應用數學專業教師和部分本科生聆聽了本次報告。
楊躍教授簡要介紹了拉姆塞定理，並以此爲例介紹反推數學這一方向。反推數學是當代數學基礎研究的一個熱門領域，與數學哲學有著緊密的聯系。拉姆塞定理的各種版本在反推數學(主要關注各種二階算術系統)乃至集合論中都有重要的研究價值。楊躍教授介紹了拉姆塞定理的背景與直觀，並闡述了它與二階算術子系統(主要是RCAO、WKLO、ACA0)的關系。報告最後還介紹了中南大學劉路破解的困擾全球數學界20多年的數學難題“西塔潘猜想”，這一工作促進了反推數學和可計算性理論方面的研究。
楊躍教授以其生動形象的講解和大量恰當的實例深入淺出地將拉姆塞定理和反推數學呈現在聽衆面前，其深厚的數學功底和嚴謹謙虛的治學態度深深地感染了在座的師生。報告結束後，與會師生與楊教授進行了互動交流。此次報告會開拓了師生們的視野，聆聽報告的師生獲益匪淺。報告會在熱烈的掌聲中圓滿結束！
楊躍教授簡介：北京大學數學系學士，美國康奈爾大學數學博士，現在新加坡國立大學數學系任教，研究方向爲數理邏輯和遞歸論。
圖文|網絡信息部
策劃|馬威
審核|何佩璇
排版|王文澤
