个人简介 教授,哲学博士(北京大学,1993) 主要成果目录: 《数理逻辑》,北京大学出版社,2008年 “《白马论》一解”,《科学文化评论》,2006年,第3卷第5期 How Gödel Relates Platonism to Mathematics, Theology and Science, Vol. 9, No. 1, 2011