Liu Lu
Liu Lu (; 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 (). Provided by Wikipedia
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20