Liu Lu (Chinese: 刘路; born 2 April 1989) is a Chinese researcher in the field of mathematics at Central South University in Changsha, Hunan.
Liu Lu | |||||||
|---|---|---|---|---|---|---|---|
刘路 | |||||||
| Born | April 2, 1989 | ||||||
| Alma mater | Central South University | ||||||
| Scientific career | |||||||
| Fields | Mathematics | ||||||
| Institutions | Central South University | ||||||
| Chinese name | |||||||
| Traditional Chinese | 劉路 | ||||||
| Simplified Chinese | 刘路 | ||||||
| |||||||
When he was a 22-year-old undergraduate student, Lu proved that Ramsey theorem for infinite graphs (the case n = 2) with 2-coloring does not imply WKL0 over RCA0, solving an open problem left by English logician David Seetapun in the 1990s (Liu (2012)).[1][2][3][4]
References
edit- ↑ "Math wiz's rise to professor raises eyebrows". chinadaily.com.cn. 2012-03-19. Retrieved 2012-03-24.
- ↑ "China´s math prodigy Liu Lu appointed university researcher CCTV News - CNTV English". Retrieved 2012-03-24.
- ↑ "22-year-old Liu Lu, China's youngest professor | EYE ON CHINA - China in Chinese Eyes". Eye On China. Retrieved 2012-03-24.
- ↑ "In the Name of Genius - Beijing Review". Bjreview.com.cn. Retrieved 2012-03-24.
External links
edit- Liu, Lu (2012), "RT22 does not imply WKL0", The Journal of Symbolic Logic, 77 (2): 609–620, arXiv:1602.03784, doi:10.2178/jsl/1333566640