哥德尔的遗产及哥德尔百年启示

2006年4月28日是伟大的逻辑学家、数学家和哲学家库尔特&;#183;哥德尔（Kurt Godel）诞辰100周年纪念日。为了纪念他对逻辑学、数学、计算机科学和哲学的贡献，北京市逻辑学会于2006年4月29日在中国人民大学隆重举行了主题为“哥德尔的遗产及哥德尔百年启示”专题报告会。中国科学院系统所胡作玄研究员、中国科学院软件所杨东屏研究员和北京师范大学哲学院刘晓力教授分别以“哥德尔对数理逻辑的影响”、“哥德尔对可计算性理论的影响”和“国外哥德尔思想研究的一些新进展”为题向与会学者和研究生们作了大会报告。会议由北京市逻辑学会会长、北京大学哲学系周北海教授主持，中国社会科学院哲学所张尚水研究员、上海社会科学院哲学所朱水林研究员和北京大学哲学系宋文坚教授等国内哥德尔研究、逻辑史研究专家以及国内一些著名逻辑学专家也参加了这一纪念活动。