新聞網(wǎng)訊 12月30日下午，北京大學(xué)張繼平院士應(yīng)邀為數(shù)學(xué)與統(tǒng)計(jì)學(xué)院師生作題為“數(shù)字的力量”的專(zhuān)題報(bào)告。報(bào)告由數(shù)學(xué)與統(tǒng)計(jì)學(xué)院院長(zhǎng)劉奎主持，學(xué)院師生200余人聆聽(tīng)了報(bào)告。
張繼平院士以《新聞聯(lián)播》片頭動(dòng)畫(huà)背后的數(shù)字插值技術(shù)為導(dǎo)入，介紹了人類(lèi)認(rèn)識(shí)、應(yīng)用數(shù)字以及數(shù)字概念的產(chǎn)生推動(dòng)了人類(lèi)心智發(fā)展的歷史，并著重介紹了數(shù)字計(jì)算機(jī)促進(jìn)數(shù)學(xué)研究方式的變化，例如數(shù)學(xué)軟件Magma和GAP在代數(shù)學(xué)計(jì)算中的強(qiáng)大作用，以及人工智能的發(fā)展促進(jìn)了數(shù)學(xué)定理的形式化證明，例如輔助證明工具Lean、Coq等。
報(bào)告結(jié)束后，學(xué)院師生就數(shù)學(xué)定理輔助證明工具的發(fā)展以及國(guó)內(nèi)相關(guān)研究現(xiàn)狀與張繼平院士進(jìn)行了深入的交流。
張繼平，中國(guó)科學(xué)院院士、北京大學(xué)博雅講座教授、中俄數(shù)學(xué)中心主任。曾任北京大學(xué)數(shù)學(xué)科學(xué)學(xué)院院長(zhǎng)，現(xiàn)為現(xiàn)為中國(guó)大百科全書(shū)(數(shù)學(xué)卷)副主編、MDPI(中國(guó))物理&數(shù)學(xué)科學(xué)委員會(huì)委員。研究領(lǐng)域是代數(shù)學(xué)，在有限群表示論研究中取得了杰出成就。
魯公網(wǎng)安備 37021202000856號(hào) 
English