Yong Cheng

Yong Cheng is currently a professor in the School of Philosophy at Wuhan University, China. He received his PhD in Mathematics (Logic) from the National University of Singapore in 2012, and from 2013 to 2014 was a postdoctoral fellow at the Institute for Mathematical Logic and Foundational Research, University of Münster, Germany. His research centers on logic---particularly the incompleteness phenomenon, foundations of mathematics, and philosophy of mathematics---and extends to the philosophy of science, including the philosophy of logic and the philosophy of computation. His recent work focuses on the logical, foundational, and philosophical study of the incompleteness phenomenon as revealed in Gödel's incompleteness theorems. He is the author of Incompleteness for Higher-Order Arithmetic: An Example Based on Harrington's Principle (Springer, 2019) and of the forthcoming The Landscape of Arithmetical Incompleteness: Gödel's Incompleteness Theorems and Their Limits (Synthese Library, Springer).