Homepage of Yong Cheng

 Prof. Yong Cheng

  • School of Philosophy, Wuhan University
  • Wuhan 430072 Hubei, Peoples Republic of China
  • Email: world-cyr@hotmail.com

 Academic Interests

  • Foundations of Mathematics (Incompleteness and Independence)
  • Proof Theory (Meta-mathematics of arithmetic)
  • Philosophy of Mathematics and Logic

Education

Period Degree Major Institute Advisor
  • 2000.09
  • -2004.07
Bachelor in Management
  • Information Management
  • and Information System
  • Department of Management,
  • South-Central University for Nationalities, China
  • 2004.09
  • -2008.07
Master in Philosophy Logic
  • Department of Philosophy,
  • Peking University, China
Prof. Feng Ye
  • 2008.08
  • -2012.08
PhD in Mathematics Logic
  • Department of Mathematics,
  • National University of Singapore, Singapore
  • Prof. Chong ChiTat
  • Prof. W.Hugh Woodin

Employment

Period Position Institute
  • 2013.01
  • -2015.01
Postdoctoral
  • Institute for Mathematical Logic and Foundational Research,
  • Department of Mathematics and Computer Science,
  • University of Muenster, Germany
  • 2015.06
  • -2019.02
Associate Professor
  • School of Philosophy,
  • Wuhan University, China
  • 2019.03
  • -Present
Professor
  • School of Philosophy,
  • Wuhan University, China