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)