11月26日到27日,，我校在線上舉辦2022年全國(guó)數(shù)理邏輯年會(huì)（CACML2022）,。本次會(huì)議由中國(guó)數(shù)學(xué)會(huì)數(shù)理邏輯專業(yè)委員會(huì)主辦,，我校數(shù)理與金融學(xué)院承辦,。加拿大皇家學(xué)會(huì)院士、多倫多大學(xué)Stevo Todorcevic教授,，加州大學(xué)伯克利分校Antonio Montalban教授,，牛津大學(xué)數(shù)學(xué)研究所Boris Zilber教授，查爾斯頓學(xué)院金人麟教授,，康奈爾大學(xué)Slawomir Solecki教授,，原國(guó)際符號(hào)邏輯協(xié)會(huì)東亞分會(huì)理事長(zhǎng)、國(guó)際符號(hào)邏輯協(xié)會(huì)理事馮琦研究員,，原陜西師范大學(xué)副校長(zhǎng)趙彬教授，中國(guó)數(shù)學(xué)會(huì)數(shù)理邏輯專業(yè)委員會(huì)首任主任、四川大學(xué)張樹(shù)果教授,，南開(kāi)大學(xué)講席教授高速教授,，中國(guó)數(shù)學(xué)會(huì)數(shù)理邏輯專業(yè)委員會(huì)現(xiàn)任主任、南開(kāi)大學(xué)數(shù)學(xué)科學(xué)學(xué)院院長(zhǎng)丁龍?jiān)平淌?，中?guó)數(shù)學(xué)會(huì)數(shù)理邏輯專業(yè)委員會(huì)副主任,、南京大學(xué)數(shù)學(xué)系主任喻良教授，國(guó)際符號(hào)邏輯協(xié)會(huì)翻譯委員會(huì)委員,、復(fù)旦大學(xué)郝兆寬教授,，中山大學(xué)邏輯與認(rèn)知研究所趙希順教授等國(guó)內(nèi)外知名專家學(xué)者參加了本次線上年會(huì)。校黨委常委,、副校長(zhǎng)費(fèi)為銀,，數(shù)理與金融學(xué)院黨委書(shū)記周毅仁，院長(zhǎng)吳小太,，大會(huì)組委會(huì)成員和師生代表出席開(kāi)幕式,。開(kāi)幕式由學(xué)院院長(zhǎng)吳小太主持。
副校長(zhǎng)費(fèi)為銀在開(kāi)幕式致辭中介紹了我校和學(xué)科的基本情況,，向參會(huì)嘉賓表示了熱烈歡迎和衷心感謝,，并預(yù)祝年會(huì)取得圓滿成功。中國(guó)數(shù)學(xué)會(huì)數(shù)理邏輯專業(yè)委員會(huì)主任,、南開(kāi)大學(xué)數(shù)學(xué)科學(xué)學(xué)院院長(zhǎng)丁龍?jiān)平淌谧鲿?huì)議致辭,，丁教授感謝我校承辦本次數(shù)理邏輯年會(huì)，并介紹了中國(guó)數(shù)學(xué)會(huì)數(shù)理邏輯專業(yè)委員會(huì)的發(fā)展情況和本次年會(huì)的基本情況,。
本次年會(huì)大會(huì)報(bào)告共有5場(chǎng),。美國(guó)查爾斯頓學(xué)院金人麟教授作題為《Many Levels of Infinities and Multidimension van der Waerden’s Theorem》的大會(huì)報(bào)告，報(bào)告人構(gòu)建了非標(biāo)準(zhǔn)分析新的框架,，并在此框架中給出多維范德瓦爾登定理的簡(jiǎn)單非標(biāo)準(zhǔn)證明,。加州大學(xué)伯克利分校、2014年國(guó)際數(shù)學(xué)家大會(huì)45分鐘分組報(bào)告人Antonio Montalban教授作題為《A Robuster Scott Rank》的大會(huì)報(bào)告,，引入了 Robuster Scott Rank,，并以此為工具證明可數(shù)結(jié)構(gòu)的各種不同的衡量復(fù)雜性的方法是相容的。中國(guó)數(shù)學(xué)會(huì)數(shù)理邏輯委員會(huì)首任主任,、四川大學(xué)張樹(shù)果教授作題為《Ideals, Ultrafilters and Cardinal Invariants of the Continuum》的大會(huì)報(bào)告,，介紹了團(tuán)隊(duì)最近幾年在理想、超濾子和連續(xù)統(tǒng)基數(shù)不變量方面的研究成果,。加拿大皇家學(xué)會(huì)院士,、加拿大數(shù)學(xué)首席科學(xué)家（Canada Research Chair）、法國(guó)國(guó)家科學(xué)研究中心主任,、多倫多大學(xué)的Stevo Todorcevic教授作題為《A Dual Ramsey Theorem for Finite Trees》的大會(huì)報(bào)告,，介紹了有限樹(shù)的對(duì)偶 Ramsey 定理,。牛津大學(xué)數(shù)學(xué)研究所的Boris Zilber教授作題為《Applied Model Theory beyond first order》的大會(huì)報(bào)告，介紹了模型論的新進(jìn)展以及在數(shù)論和代數(shù)幾何中的應(yīng)用,。
分組報(bào)告共4場(chǎng),。集合論分會(huì)場(chǎng)的三個(gè)分組報(bào)告分別來(lái)自英國(guó)利茲大學(xué)袁嘉辰的《How far is strong compactness from almost strong compactness》，中科院數(shù)學(xué)與系統(tǒng)科學(xué)研究院彭銀河的《MAω1 does not imply K2》,以及多倫多大學(xué)和哈工大數(shù)學(xué)研究院David Schrittesser的《Nonstandard methods for statistics》,。遞歸論分會(huì)場(chǎng)的三個(gè)分組報(bào)告分別來(lái)自加州州立大學(xué)北嶺分校何孟哲的《Free structures and limiting density》,，中科院軟件研究所方楠的《Integer-valued martingales and cl-reductions》，以及新西蘭惠靈頓維多利亞大學(xué)謝若非的《An Investigation of the Rademacher series with Algorithmic Randomness》,。模型論分會(huì)場(chǎng)的三個(gè)分組報(bào)告分別來(lái)自中科院數(shù)學(xué)與系統(tǒng)科學(xué)研究院Rizos Sklinos的《Fields interpretable in nonabelian free groups》,，復(fù)旦大學(xué)William Johnson的《Around definable types in p-adically closed fields》，以及復(fù)旦大學(xué)姚寧遠(yuǎn)的《On Algebraicity of definable groups over the field of p-adic numbers》,。數(shù)學(xué)哲學(xué)分會(huì)場(chǎng)的三個(gè)分組報(bào)告分別來(lái)自中國(guó)科學(xué)院大學(xué),、中科院哲學(xué)研究所李大柱的《Logical approaches to the Cops and Robber game》，北京大學(xué)丁一峰的《Examining the Fundamental Theorem of World Theory in Modal Logics with Propositional Quantifiers》,，以及復(fù)旦大學(xué)楊睿之的《Pluralism in mathematics and universal finite set》,。
“全國(guó)數(shù)理邏輯年會(huì)”是中國(guó)數(shù)學(xué)會(huì)數(shù)理邏輯專業(yè)委員會(huì)主辦的年會(huì)，會(huì)議旨在為數(shù)理邏輯及其應(yīng)用的學(xué)者提供交流最新成果的平臺(tái),，以開(kāi)展廣泛深入的學(xué)術(shù)交流與合作,，進(jìn)而更好地促進(jìn)我國(guó)數(shù)理邏輯學(xué)科的發(fā)展。
（文/圖：尹志,；審核：潘海峰）
版權(quán)所有 安徽工程大學(xué) 皖I(lǐng)CP備10016294號(hào)
數(shù)理與金融學(xué)院 地址：安徽蕪湖市北京中路 郵編：241000 電話0553-2871142
訪問(wèn)量：