Yong Cheng

Yong Cheng is currently a professor in the School of Philosophy at Wuhan University in China. He received his PhD in logic from the National University of Singapore in 2012. From 2013 to 2014, he was a postdoctoral fellow at the Institute for Mathematical Logic and Foundational Research at the University of Münster in Germany. His research interests include logic, the foundations and philosophy of mathematics, the philosophy of logic, and the philosophy of computation. His recent research 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).