哥德尔定理是个什么玩意儿?
2014-04-21 05:11:11  人工智能 哥德尔 自指 


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

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

费用:  20元(饮料费)
 

讲稿:讲稿


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

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

讲座提纲

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

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


主讲人:张江,北师大系统科学学院副教授
2014-04-21 17:12:14
   能录像传到youku上么?或者贴下Powerpoint...时差党表示来不了很捉急
2014-04-22 04:44:58
   木有问题,会有录像奉上。
2014-04-28 09:30:36
   讲稿链接不对,报404。
2014-04-28 19:58:40
   还有其他页面,我随机了几个讲稿,都不能下载,是什么问题?
2014-04-30 03:05:23
   这个页面连接改好了,还哪里有问题?
2014-04-30 07:26:30
   mark
2014-05-01 06:14:38
   集智活动下的活动里面好多的资料链接在我的机器下确实有问题的,最好一个个检查下,整理下。

2014-05-14 13:28:32
   讲稿链接一直显示加载中
所有的活动都有提供讲稿跟视频吗?
登录后才可以评论,马上登录