个人简介

个人简介： 我的全部研究动机在于理解什么是真，尤其什么是数学真，我们是在什么意义上说一个命题是真的，以及我们如何判定它的真假。我认为在研究中不应在方法上给自己任何限制。但无疑当代数理逻辑提供了目前看来最为可靠且无可替代的框架，让我们至少可以较清晰地陈述那些问题。在我看来做数理逻辑就是做哲学，并且是以一种漂亮方式做哲学。 学习经历： 2010-2011 哈佛大学，国家留学基金委联合培养博士生项目（联系导师：Peter Koellner）； 2009-2014 新加坡国立大学数学科学研究所，逻辑学暑期学校 2008-2012 北京大学哲学系，符号逻辑方向博士研究生（导师：刘壮虎） 2005-2008 复旦大学哲学学院，逻辑学硕士研究生（导师：郝兆宽） 2001-2005 复旦大学哲学系，哲学专业本科生 工作经历： 2012至今，复旦大学哲学学院，讲师 近期研究重点： 集合论多宇宙观，当代数学基础研究对数学实在论的挑战，可计算性理论、随机性理论、反推数学以及它们的哲学意义。 科研成果及代表作 著作：N/A 主要讲授课程 数理逻辑、集合论、递归论、证明论 荣誉称号及所获奖励：无