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、哥德尔定理的证明
主讲人：张江，北师大系统科学学院副教授