Homepage of Yong Cheng

Selected Talks

Title Conference/University Time
The limit of Gödel's first incompleteness theorem Logic seminar talk, University of Leeds, UK 2023.09
The effect of numbering on incompleteness: logical incompleteness versus concrete incompleteness Workshop on "Syntax, Coding and Incompleteness", Oxford University, UK 2023.09
There are no minimal effectively inseparable theories with respect to interpretation Logic seminar talk, Vienna University of Technology, Austria 2023.08
The relevance of the incompleteness theorems with Hilbert's concrete proof theory Logic Colloquium 2022, European Summer Meeting of the Association for Symbolic Logic, Reykjavik, Iceland 2022.06
The interpretation degree structure of r.e. theories for which the first incompleteness theorem holds Logic Colloquium 2021, European Summer Meeting of the Association for Symbolic Logic, Poznań, Poland 2021.07
The landscape of Gödel's incompleteness theorems Celebrating 90 Years of Gödel's Incompleteness Theorems, Nürtingen, Germany 2021.07
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
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, the European Summer Meeting of the Association for Symbolic Logic, 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
Two questions about incompleteness Computability in Europe 2018, Department of Computer Science, Kiel University, Germany 2018.08
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