Liang Yu ()

Institute of Mathematical Science,
Nanjing University,
Nanjing, JiangSu province 210093,
P.R. of China.

Office:MMW Building 1110-4
Phone:86-25-83593199
Fax:86-25-83593199, 86-25-83686411

Email:

"Not how the world is, is the mystical, but that it is."
                                                                                           Wittgenstein

Grants:
  • National Natural Science Fund of China, No. 10701041, 160K, Jan 2008-Dec 2010.
  • Research Fund for the Doctoral Program of Higher Education, No. 20070284043, 36K, Jan 2008-Dec 2010.
  • Scientific Research Foundation for the Returned Overseas Chinese Scholars, State Education Ministry, 25K, 2008.
  • China-Germany collaboration program, 54K, No. 10911130011, 2009.
  • China-US collaboration program, 80K, No. 10911120385, Jan, 2010-Dec, 2011.
    Album.
    Courses.
    Logic Seminar at IMS.
    Papers.
    Talks.
    Some links:
    1. AMS
    2. Arxiv
    3. Association for Symbolic Logic (Join here)
    4. Computability Theory
    5. Effective Randomness Wiki
    6. IMS of NJU
    7. Lily Overseas
    8. MathSciNet Search
    9. Nanjing University
    10. Math Dept of NJU

    My interests include recursion theory, set theory and algorithmic information theory.I have been seeking for some interactions among these areas. I will also pay more attention to the applications of logic, particularly recursion theory, set theory and model theory, to the "main stream" mathematics, such as algebra, geometry and analysis, in the near future. Here "applications" means the real "application" to solve some problems in the "main stream" mathematics using logic methods, not just logiclizing the terms.

    Some questions: pdf


    free counters

    Last Updated: 8-Dec-2009, Liang Yu