哈工大全媒體（闞思邈 周洋 閆墨/文 數(shù)學(xué)研究院/圖）近日，由我校數(shù)學(xué)研究院承辦的2025全國(guó)數(shù)理邏輯年會(huì)（Chinese Annual Conference on Mathematical Logic 2025）在哈爾濱舉行。中國(guó)數(shù)學(xué)會(huì)數(shù)理邏輯專業(yè)委員會(huì)主任、南開(kāi)大學(xué)講席教授高速，校長(zhǎng)韓杰才院士出席開(kāi)幕式并致辭。

會(huì)議現(xiàn)場(chǎng)

新加坡國(guó)家科學(xué)院院士莊志達(dá)，加州大學(xué)伯克利分校西奧多·斯拉曼教授、國(guó)際數(shù)學(xué)家大會(huì)報(bào)告人西奧多·斯拉曼，世界計(jì)量經(jīng)濟(jì)學(xué)會(huì)會(huì)士羅伯特·安德森等來(lái)自中國(guó)、美國(guó)、加拿大、波蘭、新加坡、韓國(guó)的100余名專家學(xué)者參會(huì)。

高速在致辭中回顧了中國(guó)數(shù)理邏輯的發(fā)展歷程。他表示，近年來(lái)中國(guó)數(shù)理邏輯學(xué)科呈現(xiàn)蓬勃發(fā)展態(tài)勢(shì)，研究規(guī)模、學(xué)術(shù)質(zhì)量均顯著提升。期待與會(huì)專家學(xué)者全方位展現(xiàn)數(shù)理邏輯在理論深度、應(yīng)用廣度及跨學(xué)科融合方面的獨(dú)特魅力，持續(xù)激發(fā)學(xué)科創(chuàng)新活力。

韓杰才指出，數(shù)理邏輯能夠突破傳統(tǒng)數(shù)學(xué)的邊界，為人工智能、計(jì)算機(jī)科學(xué)等發(fā)展提供新的思路和方法。希望與會(huì)專家充分展示最新科研成果，深入探討前沿問(wèn)題，以本次大會(huì)為契機(jī)開(kāi)展深度交流和廣泛合作，以基礎(chǔ)研究的持續(xù)突破帶動(dòng)科技創(chuàng)新和人才培養(yǎng)實(shí)現(xiàn)高質(zhì)量發(fā)展。

會(huì)議現(xiàn)場(chǎng)

會(huì)議期間，西奧多·斯拉曼教授、羅伯特·安德森教授，中國(guó)科學(xué)院?jiǎn)讨巍ぐ湍钒屠麃喫菇淌?，華沙大學(xué)米科瓦伊·博揚(yáng)茨克教授，南開(kāi)大學(xué)丁龍?jiān)平淌诘?位國(guó)際知名專家學(xué)者分別作大會(huì)報(bào)告，分享前沿研究成果。會(huì)議還設(shè)置1場(chǎng)科普?qǐng)?bào)告，并圍繞集合論、模型論、遞歸論和哲學(xué)邏輯等領(lǐng)域展開(kāi)了12場(chǎng)分組報(bào)告，為與會(huì)學(xué)者搭建多層次學(xué)術(shù)交流平臺(tái)。