博彩-玩博彩策略论坛

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

報告題目：哥德爾定理與塔斯基定理的深刻性賞析

報告人：楊英銳 教授

報告時間：2021年3月25日19：00-21:00

報告地點：綜合樓108教室

主持人：劉全慧教授

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

報告人簡介：

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

報告簡介：

希爾伯特著名的23個數(shù)學(xué)問題中包括數(shù)學(xué)的一致性、黎曼猜想等。1931年，數(shù)學(xué)家和邏輯學(xué)家哥德爾證明了哥德爾不完備性定理，即證明了數(shù)學(xué)一致性問題的獨立性，影響極其深遠(yuǎn)。而塔斯基不可定義性定理是數(shù)理邏輯中唯一能與哥德爾定理媲美的工作。前者偏重語義，后者偏重句法，珠聯(lián)璧合，堪稱雙子定理。本講座將就雙子定理的證明技巧、廣泛影響、歷史地位等角度，挖掘其創(chuàng)新點，賞析其深刻思想。