Homepage of Yong Cheng
Profile
Research
Publications
Talks
Teaching
Academic Events
中文
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
Pdf
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
Pdf
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
Pdf
Finding the limit of incompleteness
Department of Mathematics, Logic seminar talk, Darmstadt University of Technology, Germany
2019.01
Pdf
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
Pdf
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
Pdf
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
Pdf