校园生活
当前位置: 首页 >> 校园生活 >> 学术活动 >> 岳麓讲坛 >> 正文
统计数据 / lectrue notice
  • 排序 学院 发文量
    1 机械与运载工程学院 254
    2 物理与微电子科学学院 252
    3 化学化工学院 236
    4 岳麓书院 211
    5 材料科学与工程学院 118
    6 土木工程学院 95
    7 数学与计量经济学院 89
    8 教务处 77
    9 生物学院 70
    10 信息科学与工程学院 68
  • 排序 学院 发文量
    11 电气与信息工程学院 51
    12 建筑学院 40
    13 经济与贸易学院 38
    14 工商管理学院 28
    15 法学院 15
    16 外国语学院 15
    17 研究生院 10
    18 新闻传播与影视艺术学院 9
    19 经济与管理研究中心 6
    20 电气院 5
    21 马克思主义学院 5
杨英锐:哥德尔定理与塔斯基定理的深刻性赏析
学术地点 综合楼108教室 主讲人 杨英锐 教授
讲座时间 2021年3月25日19:00-21:00

岳麓讲坛—创新与创业总第775期

报告题目:哥德尔定理与塔斯基定理的深刻性赏析

报告人:杨英锐 教授

报告时间:2021年3月25日19:00-21:00

报告地点:综合楼108教室

主持人:刘全慧教授

主办:湖南大学教务处

报告人简介:

杨英锐,1953年出生于北京。现任美国伦斯勒理工学院认知科学系终身教授。本科毕业于北京师范大学数学系(1977),美国纽约大学心理学博士(1996),普林斯顿大学和美国教育考试服务中心(ETS)博士后(1997-2000)。曾任清华大学伟伦特聘教授。研究领域为心理学、经济学和认知科学,是心智力学,经济力学,高阶认知规范场论模型等领域的重要创立者。

报告简介:

希尔伯特著名的23个数学问题中包括数学的一致性、黎曼猜想等。1931年,数学家和逻辑学家哥德尔证明了哥德尔不完备性定理,即证明了数学一致性问题的独立性,影响极其深远。而塔斯基不可定义性定理是数理逻辑中唯一能与哥德尔定理媲美的工作。前者偏重语义,后者偏重句法,珠联璧合,堪称双子定理。本讲座将就双子定理的证明技巧、广泛影响、历史地位等角度,挖掘其创新点,赏析其深刻思想。


上一条:杨正辉:中国共产党红色基因密码
下一条:陈关荣:科研的起步与坚持

湖大抖音
湖大微信
湖大微博