Homepage of Yong Cheng


Lectures on Logic and Foundations of Mathematics (LFM lecture) at Wuhan University

  • All videos of LFM lectures are avaliable at bilibili (Bili) for local people and youtube (YT) for foreign people.
  • 2024
    Lecture

    2024 World Logic Day Lecture

    • Lecture Title: What are consistency proofs and what should they be
    • Date and Time:2024-01-15, 19:00-21:00 Beijing time (UTC+8)
    • Speaker: Prof. Reinhard Kahle (University of Tübingen, Germany)
    • Lecture Title: “Benacerraf’s Problems” in Logic
    • Date and Time:2024-01-15, 9:00-11:00 Beijing time (UTC+8)
    • Speaker: Prof. Bo Chen (Wuhan University, China)
    Lecture

    Online Lecture

    • Lecture Title: Reverse mathematics over a weak base theory
    • Date and Time:2024-04-17,16:00-18:00 Beijing time (UTC+8)
    • Speaker: Prof. Leszek Kołodziejczyk (University of Warsaw, Poland)
    Lecture

    Online Lecture

    • Lecture Title: Modern type theory and its applications
    • Date and Time:2024-05-08,19:00-21:00 Beijing time (UTC+8)
    • Speaker: Prof. Zhaohui Luo (Royal Holloway, University of London, UK)
    Lecture

    Online Lecture

    • Lecture Title: Milestones and Small Steps in Model Theory of Arithmetic
    • Date and Time:2024-05-30,19:00-21:00 Beijing time (UTC+8)
    • Speaker: Prof. Roman Kossak (The City University of New York, USA)
    Lecture

    Online Lecture

    • Lecture Title: Undefinability and Absolute Undefinability in Arithmetic
    • Date and Time:2024-06-06,19:00-21:00 Beijing time (UTC+8)
    • Speaker: Prof. Roman Kossak (The City University of New York, USA)
    Lecture

    Online Lecture

    • Lecture Title: Why three ways of doing mathematics became rival philosophies
    • Date and Time:2024-07-04,9:30-11:30 Beijing time (UTC+8)
    • Speaker: Prof. Colin McLarty (Case Western Reserve University, USA)
    Lecture

    Online Lecture

    • Lecture Title: The continuing challenge of Poincare, Hilbert, and Gödel
    • Date and Time:2024-07-05,9:30-11:30 Beijing time (UTC+8)
    • Speaker: Prof. Colin McLarty (Case Western Reserve University, USA)
    Lecture

    Online Lecture

    • Lecture Title: Geometrized arithmetic and the unity of mathematics
    • Date and Time:2024-07-08,9:30-11:30 Beijing time (UTC+8)
    • Speaker: Prof. Colin McLarty (Case Western Reserve University, USA)
    Lecture

    Online Lecture

    • Lecture Title: The long view
    • Date and Time:2024-07-09,9:30-11:30 Beijing time (UTC+8)
    • Speaker: Prof. Colin McLarty (Case Western Reserve University, USA)