Selected Talks

Title	Conference/University	Time
On Rosser theories	Logic Colloquium 2024, Gothenburg, Sweden	2024.06
Some reflections on logical incompleteness and concrete incompleteness	7th International Meeting of the Association for the Philosophy of Mathematical Practice, School for Advanced Studies IUSS Pavia, Italy	2024.06
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

---