Homepage of Yong Cheng

Selected Talks

Title Conference/University Time
Robinson's theory R and a R-like Globaliser for c.e. theories Oberwolfach Workshop: Proof Theory, Constructive Mathematics,Oberwolfach Research Institute for Mathematics, Germany 2020.11
Russell's contribution in logic and its inuence in modern logic International Conference on Russell's Logic and Philosophy: For the Centenary of Russell's Visit to China and Lectures at Peking University,Peking University,China 2020.11
Exploring the incompleteness phenomenon Workshop on Proof Theory and its Applications, Department of Computer Science, Swansea University, UK 2019.09
The limit of incompleteness for Weak Arithmetics Logic Colloquium 2019, Prague, Czech Republic 2019.08
Note on some misinterpretations of Gödel's incompleteness theorems 16th International Congress on Logic, Methodology And Philosophy of Science and Technology, Prague, Czech Republic 2019.08
Finding the limit of incompleteness Department of Mathematics, Logic seminar talk, Darmstadt University of Technology, Germany 2019.01
The current status of research on incompleteness Institution of Mathematics, Logic seminar talk, University of Munich, Germany 2019.01
Popular talk on modern logic and three mathematical crisis (in Chinese) School of Mathematics and Statistics, Wuhan University, China 2018.11
Incompleteness for higher order arithmetic and the limit of incompleteness Workshop on Proof Theory and its Applications, Department of Mathematics, University of Ghent, Belgium 2018.09
Analysis of Gödel's Disjunctive Thesis Section on philosophy of mathematics, XXIV World Congress of Philosophy, Beijing 2018.08
A principle for extended warrant Section on philosophy of religion, XXIV World Congress of Philosophy, Beijing 2018.08
Finding the weakest theory for Gödel's First Incompleteness Theorem Section on Logic, XXIV World Congress of Philosophy, Beijing 2018.08
Two questions about incompleteness Computability in Europe 2018, Department of Computer Science, Kiel University, Germany 2018.08
The effect of The HOD Hypothesis on the behavior of large cardinals from V in HOD Logic Colloquium 2018, the annual European summer meeting of the Association of Symbolic Logic, Department of Mathematics, University of Udine, Italy 2018.07
Incompleteness for higher order arithmetic: A specific example from set theory Association for Symbolic Logic 2018 North American Annual Meeting, Department of Mathematics, Western Illinois University, USA 2018.05
The Grandson of Great Pumpkin Objection to Plantinga’s Reformed Epistemology Wuhan-Oberlin international young philosopher round table meeting, Oberlin College, Ohio, USA 2016.07
Large cardinals need not be large in HOD Colloquium Logicum 2014, Munich, Germany 2014.09
Indestructibility properties of remarkable cardinals Institute of mathematical logic and foundational research, Muenster, Germany 2014.05
Force the failure of Harrington’s principle in three order arithmetic Institute of mathematical logic and foundational research, Muenster, Germany 2013.10
Analysis of Martin-Harrington theorem in higher order arithmetic Institute of mathematical logic and foundational research, Muenster, Germany 2013.04