近日，由哈爾濱工業大學數學研究院承辦的2025全國數理邏輯年會（Chinese Annual Conference on Mathematical Logic 2025）在哈爾濱舉行。中國數學會數理邏輯專業委員會主任、南開大學講席教授高速，校長韓杰才院士出席開幕式并致辭。
新加坡國家科學院院士莊志達，加州大學伯克利分校西奧多·斯拉曼教授、國際數學家大會報告人西奧多·斯拉曼，世界計量經濟學會會士羅伯特·安德森等來自中國、美國、加拿大、波蘭、新加坡、韓國的100余名專家學者參會。
高速在致辭中回顧了中國數理邏輯的發展歷程。他表示，近年來中國數理邏輯學科呈現蓬勃發展態勢，研究規模、學術質量均顯著提升。期待與會專家學者全方位展現數理邏輯在理論深度、應用廣度及跨學科融合方面的獨特魅力，持續激發學科創新活力。
韓杰才指出，數理邏輯能夠突破傳統數學的邊界，為人工智能、計算機科學等發展提供新的思路和方法。希望與會專家充分展示最新科研成果，深入探討前沿問題，以本次大會為契機開展深度交流和廣泛合作，以基礎研究的持續突破帶動科技創新和人才培養實現高質量發展。
會議期間，西奧多·斯拉曼教授、羅伯特·安德森教授，中國科學院喬治·巴姆巴利亞斯教授，華沙大學米科瓦伊·博揚茨克教授，南開大學丁龍云教授等5位國際知名專家學者分別作大會報告，分享前沿研究成果。會議還設置1場科普報告，并圍繞集合論、模型論、遞歸論和哲學邏輯等領域展開了12場分組報告，為與會學者搭建多層次學術交流平臺。
|
