Uncommon · People

Liu Lu

Chinese mathematician

Liu Lu (Chinese: 刘路; born 2 April 1989) is a Chinese researcher in the field of mathematics at Central South University in Changsha, Hunan. 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)).

From Wikipedia

Liu Lu (Chinese: 刘路; born 2 April 1989) is a Chinese researcher in the field of mathematics at Central South University in Changsha, Hunan. 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)).

Text: Wikipédia, CC BY-SA 4.0. ·

Related cards

Open

…

Tap to close

Confirmation