智库成果传播转化平台 各类决策借智引智平台 智库与决策的沟通平台
加入平台 | 登录 | 扫码下载app
当前位置: 首页 > 智库专家 > 程勇
程勇
智库专家
个人简介

人物生平

  北京大学哲学系逻辑学专业哲学硕士(2008);

  新加坡国立大学数学系数理逻辑方向数学博士(2012);

  德国明斯特大学数学与计算机科学学院数理逻辑与基础研究研究所博士后(2013-2014);

  武汉大学哲学学院副教授(2015.06至今);

  优秀青年学术骨干引进人才;

  珞珈青年学者(2016-2018);

  楚天学子(2017-2021);

  研究领域:数学基础,符号逻辑,分析哲学;

  已在国际符号逻辑核心SCI期刊(如The Journal of Symbolic Logic,Annals of Pure and Applied Logic,Mathematical Logic Quarterly, Archive of Mathematical Logic等)发表论文多篇。

  已开设本科课程如下:逻辑学导论(哲基班,全校通选),符号逻辑(哲基班,国际班,2016上,2017上),一阶逻辑(国际班,2016下),逻辑专题I:集合论(国际班,2017上)。

  已开设研究生课程如下: 一阶逻辑(2017上),集合论导论(2017下),递归论导论(2017下)。

代表作品

  Harrington's principle in higer order arithmetic, Yong Cheng and Ralf Schindler, The Journal of Symbolic Logic / Volume 80 / Issue 02 / June 2015, pp 477-489,SCI Large cardinals need not be large in HOD, Yong Cheng, Sy-David Friedmanand Joel David Hamkins, Annals of Pure and Applied Logic, Volume 166, Issue 11, November 2015, Pages 1186-1198, SCI Forcing a setmodel of Z_3 + Harrington's Principle, Yong Cheng, Mathematical Logic Quarterly. 61, No. 4-5, 274-287 (2015), SCI Indestructibility properties of remarkable cardinals, Yong Cheng and Victoria Gitman, Archive of Mathematical Logic (2015) 54:961-984, SCI The strong reflecting property and Harrington's Principle, Yong Cheng, Mathematical Logic Quarterly. 61, No. 4-5, 329-340 (2015), SCI The HOD Hypothesis and a supercompact cardinal, Yong Cheng, to appear in Mathematical Logic Quarterly, SCI

著名成就

  Winning Project Title: Exploring The HOD Conjecture Award Name: Silver Medal of the 2014 Kurt Gödel Research Prize Fellowships Competition Offered by The Kurt Gödel Society in Austria, 2014.08

来源:湖北社会科学网


所属机构:智库专家

囊括所有智者智慧,集善思者思想汇集一处,服务社会。