Liu Lu

For the Chinese badminton player, see Liu Lu (badminton).

In this Chinese name, the family name is Liu.

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	(1989-04-02) April 2, 1989 (age 36) Dalian, Liaoning, China
Alma mater	Central South University
Scientific career
Fields	Mathematics
Institutions	Central South University
Chinese name
Traditional Chinese	劉路
Simplified Chinese	刘路
Transcriptions Standard Mandarin Hanyu Pinyin Liǘ Lù

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 WKL₀ over RCA₀, solving an open problem left by English logician David Seetapun in the 1990s (Liu (2012)).^[1][2][3][4]