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

    LFM Online Lecture

    • Lecture Title: A physical philosophy of mathematics
    • Date and Time: 2020-12-22 9:00-11:00 Beijing time(UTC 1:00-3:00)
    • Speaker: Prof. Feng Ye (Department of Philosophy, Capital Normal University,China)
    Lecture

    LFM Online Lecture

    • Lecture Title: How Many Real Numbers are There?
    • Date and Time: 2020-12-08 16:00-18:00 Beijing time(UTC 8:00-10:00)
    • Speaker: Prof. Ralf Schindler (Department of Mathematics, University of Muenster,Germany)
    Lecture

    LFM Online Lecture

    • Lecture Title: Kripke-Platek set theory
    • Date and Time: 2020-12-01, 19:00-21:00 Beijing time (UTC 11:00-13:00)
    • Speaker: Dr. Fedor Pakhomov (Steklov Mathematical Institute of Russian Academy of Sciences, Russia)
    Lecture

    LFM Online Lecture

    • Lecture Title: Some theorems are more equal than others: a slow introduction to Reverse Mathematics
    • Date and Time: 17 November 2020, 19:00-21:00 Beijing time (UTC 11:00-13:00)
    • Speaker: Dr. Sam Sanders (School of Mathematics, TU Darmstadt, Germany)
    Lecture

    LFM Online Lecture

    • Lecture Title: Iterated consistency, reflection and foundations of mathematics
    • Date and Time: 3th November 2020, 17:00-19:00 Beijing time (UTC 9:00-11:00)
    • Speaker: Prof. Joost J. Joosten (School of Philosophy,University of Barcelona, Spain)
    Lecture

    LFM Online Lecture

    • Lecture Title: Cut elimination and provably recursive functions
    • Date and Time: 27th October 2020, 19:00-21:00 Beijing time (UTC 11:00-13:00)
    • Speaker: Prof. Andreas Weiermann (School of Mathematics, University of Gehent, Belgium)
    Lecture

    LFM Online Lecture

    • Lecture Title: Proof Theory: From Arithmetic to Set Theory
    • Date and Time: 13th October 2020, 16:00-18:00 Beijing time (UTC 8:00-10:00)
    • Speaker: Prof. Michael Rathjen (School of Mathematics, University of Leeds, UK)
    Lecture

    LFM Online Lecture

    • Lecture Title: Provability Logic and Modalised Fixed Points
    • Date and Time: 29 September 2020, 19:00-21:00 Beijing time (UTC 11:00-13:00)
    • Speaker: Prof. Albert Visser (School of Philosophy,University of Utrecht, Netherlands)