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.
  • 2023
    Lecture

    Online Lecture

    • Lecture Title: Subjective probability and rational choice
    • Date and Time:2023-12-27, 19:00-21:00 Beijing time (UTC+8)
    • Speaker: Prof. Wei Xiong (Sun Yat-sen University, China)
    Seminar

    LFM Online Seminar

    • Lecture Title: Reverse Mathematics: classifying theorems
    • Date and Time: 2023-12-21, 15:30-17:30 Beijing Time (UTC+8)
    • Speaker: Keita Yokoyama (Tohoku University, Japan)
    Seminar

    LFM Online Seminar

    • Lecture Title: Truthmaker Semantics
    • Date and Time: 2023-12-06, 16:00-18:00 Beijing Time (UTC+8)
    • Speaker: Kit Fine (New York University, USA)
    Seminar

    LFM Online Seminar

    • Lecture Title: New results on incompleteness and ordinal analysis
    • Date and Time: 2023-11-08, 19:00-21:00 Beijing Time (UTC+8)
    • Speaker: James Walsh (New York University, USA)
    Seminar

    LFM Online Seminar

    • Lecture Title: On Algorithm
    • Date and Time: 2023-10-25, 15:30-17:30 Beijing Time (UTC+8)
    • Speaker: Yue Yang (National University of Singapore)
    Seminar

    LFM Online Seminar

    • Lecture Title: Goodstein walks and Gödel incompleteness
    • Date and Time: 2023-10-20, 19:00-21:00 Beijing Time (UTC+8)
    • Speaker: David Fernández-Duque (University of Barcelona, Spain)
    Seminar

    LFM Online Seminar

    • Lecture Title: Lecture series on concrete incompleteness
    • Date and Time: From 2023-07-31 to 2023-08-04, each day 10:00-12:00 Beijing Time (UTC+8)
    • Speaker: Prof. Andreas Weiermann (Ghent University, Belgium)
    Seminar

    LFM Online Seminar

    • Lecture Title: Soundness Spectra
    • Date and Time: 2023-06-07, 19:00-21:00 Beijing Time (UTC+8)
    • Speaker: Juan P. Aguilera (Vienna University of Technology, Austria; Ghent University, Belgium)
    Seminar

    LFM Online Seminar

    • Lecture Title: The pre-history of automated reasoning
    • Date and Time: 2023-05-17, 19:00-21:00 Beijing Time (UTC+8)
    • Speaker: Prof. Richard Zach (University of Calgary, Canada)
    Seminar

    LFM Online Seminar

    • Lecture Title: On the (non)existence of proof sytems in universal proof theory
    • Date and Time: 2023-04-26, 19:00-21:00 (UTC+8)
    • Speaker: Prof. Rosalie Iemhoff (Utrecht University, The Netherlands)