中国人民大学科学-社会-人文论坛（2008年10月份报告）
|
|
|
报告题目： Hilbert规划的相关情况 报告人：杨东屏 中国科学院软件所研究员、博士生导师
评论人：邢滔滔 北京大学哲学系副教授 主持人：陈慕泽 中国人民大学哲学院教授、博士生导师 时间： 报告人简介： 杨东屏，原中国科学院软件所研究员、博士生导师。他是中国自己培养的最早得到国际承认其学术成果的数学界的逻辑学家，也是中美数理逻辑交流渠道的开拓人。杨先生长期从事可计算性理论及计算复杂性领域的研究，是第三届亚洲逻辑会秘书长，第六届亚洲逻辑会主席，并担任数理逻辑杂志《Annals of Pure and Applied Logic》的顾问编辑。多年来，杨先生在国内外重要学术期刊上发表了大量论文，多次应邀在国际会议作学术报告，访问过哈佛、麻省理工、康奈尔、海德堡等多所国际名校。 内容简介： 报告主要讲述Hilbert的第一个数学基础工作（欧氏几何公理系统的元数学处理）；Hilbert规划产生的一些背景；Hilbert规划的正式数学的陈述；Gödel 对Hilbert规划的考虑，以及所想的解决办法；Gödel 语句的确定和维也纳圈子人们看法的关联；1930年9月的精确科学的认知会议上有关规划的一些情况；Hilbert规划是否完全是错误想法，以及在二阶算术的子系统WKL中的成立。由此引申出二十世纪的时代精神（主旋律）：形式超越内容；语法超越语义；证明超越真性。并将讨论它们在数学、语言学、音乐和绘画中的表现。
中国人民大学现代逻辑与科学技术哲学研究所 欢迎点击：http://philosophyol.com/logic; http://philo.ruc.edu.cn/logic |
