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