岳麓講壇—?jiǎng)?chuàng)新與創(chuàng)業(yè)總第775期

報(bào)告題目：哥德?tīng)柖ɡ砼c塔斯基定理的深刻性賞析

報(bào)告人：楊英銳 教授

報(bào)告時(shí)間：2021年3月25日19：00-21:00

報(bào)告地點(diǎn)：綜合樓108教室

主持人：劉全慧教授

主辦：湖南大學(xué)教務(wù)處

報(bào)告人簡(jiǎn)介：

楊英銳，1953年出生于北京?，F(xiàn)任美國(guó)倫斯勒理工學(xué)院認(rèn)知科學(xué)系終身教授。本科畢業(yè)于北京師范大學(xué)數(shù)學(xué)系（1977），美國(guó)紐約大學(xué)心理學(xué)博士(1996），普林斯頓大學(xué)和美國(guó)教育考試服務(wù)中心(ETS)博士后(1997-2000）。曾任清華大學(xué)偉倫特聘教授。研究領(lǐng)域?yàn)樾睦韺W(xué)、經(jīng)濟(jì)學(xué)和認(rèn)知科學(xué)，是心智力學(xué)，經(jīng)濟(jì)力學(xué)，高階認(rèn)知規(guī)范場(chǎng)論模型等領(lǐng)域的重要?jiǎng)?chuàng)立者。

報(bào)告簡(jiǎn)介：

希爾伯特著名的23個(gè)數(shù)學(xué)問(wèn)題中包括數(shù)學(xué)的一致性、黎曼猜想等。1931年，數(shù)學(xué)家和邏輯學(xué)家哥德?tīng)栕C明了哥德?tīng)柌煌陚湫远ɡ?，即證明了數(shù)學(xué)一致性問(wèn)題的獨(dú)立性，影響極其深遠(yuǎn)。而塔斯基不可定義性定理是數(shù)理邏輯中唯一能與哥德?tīng)柖ɡ礞敲赖墓ぷ?。前者偏重語(yǔ)義，后者偏重句法，珠聯(lián)璧合，堪稱雙子定理。本講座將就雙子定理的證明技巧、廣泛影響、歷史地位等角度，挖掘其創(chuàng)新點(diǎn)，賞析其深刻思想。