哈爾濱工業(yè)大學(xué)承辦2025全國(guó)數(shù)理邏輯年會(huì) http://bossanovawear.com　 2025年5月3日　 來源：哈爾濱工業(yè)大學(xué)     近日，由哈爾濱工業(yè)大學(xué)數(shù)學(xué)研究院承辦的2025全國(guó)數(shù)理邏輯年會(huì)（Chinese Annual Conference on Mathematical Logic 2025）在哈爾濱舉行。中國(guó)數(shù)學(xué)會(huì)數(shù)理邏輯專業(yè)委員會(huì)主任、南開大學(xué)講席教授高速，校長(zhǎng)韓杰才院士出席開幕式并致辭。 　　新加坡國(guó)家科學(xué)院院士莊志達(dá)，加州大學(xué)伯克利分校西奧多·斯拉曼教授、國(guó)際數(shù)學(xué)家大會(huì)報(bào)告人西奧多·斯拉曼，世界計(jì)量經(jīng)濟(jì)學(xué)會(huì)會(huì)士羅伯特·安德森等來自中國(guó)、美國(guó)、加拿大、波蘭、新加坡、韓國(guó)的100余名專家學(xué)者參會(huì)。 　　高速在致辭中回顧了中國(guó)數(shù)理邏輯的發(fā)展歷程。他表示，近年來中國(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ì)專家充分展示最新科研成果，深入探討前沿問題，以本次大會(huì)為契機(jī)開展深度交流和廣泛合作，以基礎(chǔ)研究的持續(xù)突破帶動(dòng)科技創(chuàng)新和人才培養(yǎng)實(shí)現(xiàn)高質(zhì)量發(fā)展。 　　會(huì)議期間，西奧多·斯拉曼教授、羅伯特·安德森教授，中國(guó)科學(xué)院?jiǎn)讨巍ぐ湍钒屠麃喫菇淌�，華沙大學(xué)米科瓦伊·博揚(yáng)茨克教授，南開大學(xué)丁龍?jiān)平淌诘?位國(guó)際知名專家學(xué)者分別作大會(huì)報(bào)告，分享前沿研究成果。會(huì)議還設(shè)置1場(chǎng)科普?qǐng)?bào)告，并圍繞集合論、模型論、遞歸論和哲學(xué)邏輯等領(lǐng)域展開了12場(chǎng)分組報(bào)告，為與會(huì)學(xué)者搭建多層次學(xué)術(shù)交流平臺(tái)。 　關(guān)于哈爾濱工業(yè)大學(xué)更多的相關(guān)文章請(qǐng)點(diǎn)擊查看　 特別說明：由于各方面情況的不斷調(diào)整與變化，華禹教育網(wǎng)（bossanovawear.com）所提供的信息為非商業(yè)性的教育和科研之目的，并不意味著贊同其觀點(diǎn)或證實(shí)其內(nèi)容的真實(shí)性，僅供參考，相關(guān)信息敬請(qǐng)以權(quán)威部門公布的正式信息為準(zhǔn)。