获得 Adobe Flash Player
首页 学院概况 师资队伍 人才培养 学术研究 党群工作 学生工作 新闻资讯 校友工作 图书分馆 规章制度 信息公开 下载中心 English Version

undefined


姓名:程勇


性别:男


职称:副教授


是否在职:是


所在学科:


电话:18771044017


邮箱地址: world-cyr@hotmail.com

简 介

程勇,北京大学哲学系逻辑学专业哲学硕士(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下)

Academic Interests

Foundation of mathematics, Symbolic Logic, Analytical Philosophy

Education and Employment

2000.09-2004.07, Bachelor in Management, Department of Management, Major: Information Management and Information System, South-Central University for Nationalities, China

2004.09-2008.07, Master in Philosophy, Department of Philosophy, Major: Logic, Peking University, China

2008.08-2012.08, PhD in Mathematics, Department of Mathematics, Major: Logic, National University of Singapore, Singapore

2013.01-2015.01, Postdoctoral, Institute for Mathematical Logic and Foundational Research, Department of Mathematics and Computer Science, University of Muenster, Germany

2015.06-Present, Associate Professor, School of Philosophy, Wuhan University, China

2016.01-2018.12, Luojia young scholar, Wuhan University, China

2017.01-2021.12, Chutian scholar, Hubei Province, China

Papers in Refereed International Journals

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

Research Project

Research on Gödel's incompleteness theorem, 2017年教育部人文社科规划基金项目2017-2020,主持人

Research on some problems in set theory 珞珈青年学者项目 2016-2018,主持人

Academic Award

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

Teaching

Undergraduate courses offered:

Introduction to Logic, Symbolic Logic, First Order Logic, Introduction to Set Theory

Graduate courses offered:

First Order Logic, Introduction to Set Theory, Introduction to recursion theory


主要研究领域和方向



开设课程



主要论著或代表作



主持或参与的科研项目



社会兼职



获奖情况


地址:中国 武汉 珞珈山 邮编:430072 版权所有 © 2013 武汉大学哲学学院 技术支持: 思古科技 教师登陆 旧版入口