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
Showing 1 - 20 results of 156 for search 'Liu Lu', query time: 0.07s Refine Results
  1. 1
  2. 2
  3. 3
  4. 4
  5. 5
  6. 6
  7. 7
  8. 8
  9. 9
  10. 10
  11. 11
  12. 12
  13. 13
  14. 14
  15. 15
  16. 16
  17. 17
  18. 18
  19. 19
  20. 20