本网讯：（通讯员：邓莉萍）近日，中共中央组织部办公厅正式公布了第四批国家“万人计划”入选人员名单，公司逻辑学教研室青年教师、弘毅学堂人文班学业导师程勇副教授入选“万人计划”青年拔尖人才（哲学社会科学、文化艺术类）。

程勇副教授2016年入选冠军论坛策略网“珞珈青年学者”。主要研究领域为数学基础、数理逻辑、数学哲学，特别研究两个核心概念：不完全性和大无穷。近5年来，围绕高阶算术的不完全性、大基数在不同集域中的性质，不完全性的限度开展了系列研究工作。在国际符号逻辑核心SCI期刊(如The Journal of Symbolic Logic, Annals of Pure and Applied Logic, Mathematical Logic Quarterly, Archive of Mathematical Logic)发表论文多篇。完成数理逻辑领域英文学术专著1部，被推荐至Springer丛书“SpringerBriefs in Mathematics”中出版。近3年来主持教育部人文社科规划基金项目“哥德尔不完全性定理研究”、国家社科基金一般项目“不完全性的限度及其内涵性问题研究”。2014年获得国际哥德尔协会颁发的哥德尔研究奖学金竞赛银质奖章。

国家“万人计划”是一项涵盖领域广、涉及部门多、实施周期长的高层次人才支持计划，由中组部、人社部等11个部委联合推出，于2012年9月正式启动，面向全国自然科学、工程技术和哲学社会科学领域的杰出人才、领军人才和青年拔尖人才给予特殊支持。青年拔尖人才项目是“万人计划”的一部分，重点培养支持国内具有较高学术造诣、并有很好发展潜力的优秀青年人才，使之成为本专业领域品德优秀、专业能力出类拔萃、综合素质全面的学术带头人。

（编辑：邓莉萍     审稿：刘义胜）