程勇-哲学学院
您所在的位置: 首页  >  师资队伍(停用)  >  副教授  >  正文

师资队伍(停用)

程勇

点击次数:  更新时间:2016-10-18

undefined

姓名:程勇

性别:男

职称:副教授

是否在职:是

所在学科:

电话:18771044017

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

简 介

北京大学哲学系逻辑学专业哲学硕士(2008),新加坡国立大学数学系数理逻辑方向数学博士(2012),德国明斯特大学数学与计算机科学学院数理逻辑与基础研究研究所博士后(2013-2014)。武汉大学哲学学院副教授(2015.06至今),武汉大学优秀青年学术骨干引进人才,武汉大学珞珈青年学者,湖北省楚天学子。

研究领域:数学基础,数理逻辑,分析哲学。已在国际符号逻辑核心SCI期刊(如The Journal of Symbolic Logic,Annals of Pure and Applied Logic,Mathematical Logic Quarterly, Archive of Mathematical Logic等)发表论文多篇。

已开设本科课程如下:逻辑学导论,符号逻辑,一阶逻辑,逻辑专题集合论。

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

武汉大学2016-2017学年专业理论课程类本科优秀教学业绩奖。

 

Academic Interests

Foundations of mathematics, Mathematical 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, Mathematical Logic Quarterly. 63, No. 5, 462–472 (2017), SCI

 

Research Project

Research on Gödel's incompleteness theorem, Humanities and Social Sciences of Ministry of Education Planning Fund, 2017-2020

Research on some problems in set theory and analytical philosophy, Luojia young scholar project, 2016-2018

 

Academic Award

Research Proposal: 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 Award

Wuhan University 2016-2017 Academic Year Undergraduate Outstanding Teaching Performance Award

 

Undergraduate course

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

 

Graduate course

First Order Logic, Introduction to Set Theory,Introduction to recursion theory, Introduction to Model Theory, Topics on Gödel’s incompleteness theorem

 

主要研究领域和方向

开设课程

主要论著或代表作

主持或参与的科研项目

社会兼职

获奖情况