1
发表于 2014-04-21 05:11:11 由 jake


时间:   04月27日 周日 14:30-17:30

地点:  北京  海淀区  蕴味咖啡

费用:  20元(饮料费)
 

讲稿:讲稿


哥德尔不完备性定理——简称哥德尔定理,被纽约时报评为20世纪最伟大的数学定理。那么,哥德尔定理究竟是个什么玩意儿?本讲座将你带入有关希尔伯特纲领、形式化系统、哥德尔定理、自指悖论、计算理论的世界。 

本讲座将分为两个部分:第一部分比较科普,介绍哥德尔定理的前世今生以及它对哲学、文化的影响;第二部分比较理论,将介绍哥德尔定理以及哥德尔证明的一些理论细节。本次活动也是计算理论研讨班的一次活动。

讲座提纲

一、
1、欧几里德几何与非欧几何——形式系统
2、数学的三次危机——希尔伯特纲领
3、哥德尔定理的表述
4、多米诺骨牌的隐喻
5、哥德尔证明
6、自指
7、哥德尔定理的意义

二、
1、从WU系统说起
2、pq系统与意义
3、皮亚诺公理系统
4、哥德尔配数
5、谈论真理的两种方法
6、蒯恩技巧与不动点
7、哥德尔定理的证明


主讲人:张江,北师大系统科学学院副教授
2012-2022 www.swarma.org, all rights reserved