数学哲学(Philosophy of Mathematics)
本、研选修课(逻辑类),3学时,秋季开课,
先修课程:一阶逻辑
课程目的: 使学生了解二十世纪以前的数学哲学思想,较深入地了解二十世纪初以来的数学基础问题研究,了解最近三十年来国际上数学哲学研究的热点问题及各种流派的基本思想,并能够对其中某个问题有充分深入的了解,掌握相关文献。
内容提要: 内容将包括三个部分。第一部分先简要介绍从古代到二十世纪初的数学哲学思想。第二部分介绍二十世纪初的三大数学基础流派以及逻辑实证主义和哥德尔。第三部分介绍最近几十年来的数学哲学。每次开课内容可能有所取舍,以课程大纲为准。
教材:见以下课程大纲。
参考书:见以下课程大纲。
成绩评定办法: 期末论文。 |