十大老牌网赌信誉平台-十大正规网赌网址-首页

English
教育与研究机构
岳麓书院 经济与贸易学院 金融与统计学院 法学院 马克思主义学院 教育科学研究院 体育学院 中国语言文学学院 外国语学院 十大正规网赌网址 数学学院 物理与微电子科学学院 化学化工学院 生物学院 机械与运载工程学院 材料科学与工程学院 电气与信息工程学院 信息科学与工程学院 建筑学院 土木工程学院 环境科学与工程学院 工商管理学院 公共管理学院 设计艺术学院 机器人学院 经济管理研究中心 化学生物传感与计量学国家重点实验室 国家高效磨削工程技术研究中心 汽车车身先进设计制造国家重点实验室 国家电能变换与控制国家工程技术研究中心 机器人视觉感知与控制技术国家工程实验室
校园生活
当前位置: 十大老牌网赌信誉平台 >> 校园生活 >> 学术活动 >> 岳麓讲坛 >> 正文
统计数据 / lectrue notice
  • 排序 学院 发文量
    1 机械与运载工程学院 249
    2 物理与微电子科学学院 241
    3 化学化工学院 214
    4 岳麓书院 197
    5 材料科学与工程学院 113
    6 土木工程学院 89
    7 数学与计量经济学院 89
    8 信息科学与工程学院 68
    9 教务处 58
    10 生物学院 56
  • 排序 学院 发文量
    11 电气与信息工程学院 49
    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年,数学家和逻辑学家哥德尔证明了哥德尔不完备性定理,即证明了数学一致性问题的独立性,影响极其深远。而塔斯基不可定义性定理是数理逻辑中唯一能与哥德尔定理媲美的工作。前者偏重语义,后者偏重句法,珠联璧合,堪称双子定理。本讲座将就双子定理的证明技巧、广泛影响、历史地位等角度,挖掘其创新点,赏析其深刻思想。


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

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

十大老牌网赌信誉平台|十大正规网赌网址

XML 地图 | Sitemap 地图