Homepage of Yong Cheng

Personal Statements


or me, Modern logic is an interesting, beautiful and deep subject: it provides us a precise, rigorous and profound way to do philosophy. Modern logic greatly updates and deepens our understanding of the following core concepts in philosophy:

Truth Proof Infinity Computation Set
Definability Independence Absoluteness Decidability Self-reference
Incompleteness Complexity Implication Consistency Paradox
Contradiction Knowability Necessity Vagueness etc.

Current Research Interests

Understanding the Incompleteness The limit of incompleteness, meta-mathematics of arithmetic, the intensional problem of incompleteness, concrete incompleteness
Understanding the Independence The Independence Phenomenon and Philosophy of Infinity
Philosophy of Mathematics and Logic The notion of Truth, Proof and computation in the foundations of Mathematics

Academic Awards/Honors

Time Award Name Research Proposal Offered by
2014.08 Silver Medal of the 2014 Kurt Gödel Research Prize Fellowships Exploring The HOD Conjecture The Kurt Gödel Society in Austria

Period Honor
2016 Wuhan University Luojia Young Scholar, China
2017 Hubei Province Chutian Scholar, China
2019 National Ten Thousands Plan for Young Top Talents,China

Research Projects

Title Project Time Status
Research on the limit of incompleteness and the intensional problem of incompleteness The National Social Science Fund of China for general project, No.18BZX131 2018 Principal
Research on Gödel's incompleteness theorem Humanities and Social Sciences of Ministry of Education Planning Fund, No.17YJA72040001 2017 Principal