Homepage of Yong Cheng

 联系方式

  • 湖北省武汉市武昌区八一路299号,430072
  • 邮箱: world-cyr@hotmail.com
  • 办公室: 武汉大学振华楼哲学学院519

 研究兴趣

  • 数学基础(不完全性与独立性)
  • 证明论(算术的元数学、可证性)
  • 数学哲学、逻辑哲学

个人简介

勇,武汉大学哲学学院教授、博士生导师。 北京大学哲学系逻辑学专业哲学硕士(2008),新加坡国立大学数学系数理逻辑方向数学博士(2012),德国明斯特大学数学与计算机科学学院数理逻辑与基础研究研究所博士后(2013-2014)。2015年6月作为优秀青年学术骨干引进人才入职武汉大学哲学学院。 先后入选武汉大学珞珈青年学者,湖北省楚天学者计划楚天学子,第四批国家万人计划之青年拔尖人才支持计划(哲学社会科学、人文艺术类)。 国际符号逻辑协会(ASL)Membership Committee成员,国际哥德尔协会会员,国际证明协会会员。

已在国际符号逻辑核心SCI期刊(如The Bulletin of Symbolic Logic, Annals of Pure and Applied Logic, The Journal of Symbolic Logic)发表论文多篇。在Springer丛书“SpringerBriefs in Mathematics”中出版学术著作一部(Incompleteness for Higher-Order Arithmetic: An Example Based on Harrington’s Principle).

主持国家社科基金一般项目“不完全性的限度及其内涵性问题研究”,教育部人文社会科学研究规划基金项目“哥德尔不完全性定理研究”。

2014年获得哥德尔研究奖学金银质奖章(Silver Medal of the 2014 Kurt Gödel Research Prize Fellowships), 授奖单位:奥地利哥德尔协会。

已讲授如下本科课程:逻辑学导论,逻辑与批判性思维,符号逻辑,一阶逻辑,数理逻辑,逻辑专题:集合论。

已讲授如下研究生课程:一阶逻辑,集合论导论,递归论导论,模型论导论,哥德尔不完全性定理专题,数理逻辑专题

弘毅学堂2018级人文试验班哲学方向学业导师,曾获武汉大学2016-2017学年专业理论课程类本科优秀教学业绩奖。