Homepage of Yong Cheng

Lecture series on Logic and Foundations of Mathematics (LFM lecture), and lecture series on Logic and Philosophy (LP lecture) at Wuhan University

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

    LP On-site Lecture

    • Lecture Title: The logical characterization of the sociality of the subject
    • Date and Time: 2021-05-07, 19:00-21:00 Beijing Time
    • Speaker: Prof. Fenrong Liu (Tsinghua University, China)
    Lecture

    LP Online Lecture

    • Lecture Title: On the Question of Whether the Mind Can be Mechanized
    • Date and Time: 2021-04-21, 9:30am-11:30am Beijing Time (UTC 1:30am-3:30am)
    • Speaker: Prof. Peter Koellner (School of Philosophy, Havard University, USA)
    Lecture

    LFM On-site Lecture

    • Lecture Title: Equivalence relation and Borel reduction
    • Date and Time: 2021-04-17, 9:30-11:30 Beijing Time (UTC 1:30-3:30)
    • Speaker: Prof. Longyun Ding (School of Mathematical Sciences, Nankai University, China)
    Lecture

    LP On-site Lecture

    • Lecture Title: Reality, existence, and abstract representations
    • Date and Time: 2021-04-09, 15:00-17:00 Beijing Time
    • Speaker: Prof. Qi Feng (Academy of Mathematics and Systems Science, Chinese Academy of Sciences)
    Lecture

    LFM Online Lecture

    • Lecture Title: Interactive theorem proving and the Lean theorem prover
    • Date and Time: 2021-04-07, 9:30-11:30 Beijing Time (UTC 1:30-3:30)
    • Speaker: Prof. Jeremy Avigad (Department of Philosophy and Department of Mathematical Sciences, Carnegie Mellon University, USA)
    Lecture

    LFM Online Lecture

    • Lecture Title: Well ordering principles and a uniform Kruskal theorem
    • Date and Time: 2021-03-23, 16:00-18:00 Beijing Time (UTC 8:00-10:00)
    • Speaker: Dr. Anton Freund (Technical University of Darmstadt, Germany)
    Lecture

    LFM Online Lecture

    • Lecture Title: Proof Theory: From the Foundations of Mathematics to Applications in Core Mathematics
    • Date and Time: 2021-03-09, 16:00-18:00 Beijing time (UTC 8:00-10:00)
    • Speaker: Prof. Ulrich Kohlenbach (Technical University of Darmstadt, Germany)
    Lecture

    LFM Online Lecture

    • Lecture Title: Some simple proofs in Reverse Mathematics
    • Date and Time: 2021-02-26, 16:00-18:00 Beijing time (UTC 8:00-10:00)
    • Speaker: Prof. Yue Yang (National University of Singapore, School of Mathematics)
    Lecture

    LFM Online Lecture

    • Lecture Title: Reflection Algebras and Progressions
    • Date and Time: 2020-01-21, 16:00-18:00 Beijing time (UTC 8:00-10:00)
    • Speaker: Prof. Lev D. Beklemishev (Steklov Institute of Mathematics, Russian Academy of Sciences)
    Lecture

    LFM Online Lecture

    • Lecture Title: Kurt Gödel and Alfred Tarski:The Extremes of Logic
    • Date and Time: 2021-01-14, 19:30-21:30 Beijing time(UTC 11:30-13:30)
    • Speaker: Prof. Matthias Baaz (Vienna University of Technology)
    Lecture

    LFM Online Lecture

    • Lecture Title: Analysis of Leibniz’s Dream
    • Date and Time: 2021-01-14, 15:30-17:30 Beijing time(UTC 7:30-9:30)
    • Speaker: Prof. Qi Feng (Academy of Mathematics and Systems Science, Chinese Academy of Sciences)
    Lecture

    LFM Online Lecture

    • Lecture Title: A logical problem from Reverse Mathematics
    • Date and Time: 2021-01-05, 15:00-17:00 Beijing time(UTC 7:00-9:00)
    • Speaker: Prof. Chong Chi Tat (Department of Mathematics, National University of Singapore)
    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: A brief introduction to the axiom of choice
    • Date and Time: 2020-12-21, 15:00-16:00 Beijing time(UTC 7:00-8:00)
    • Speaker: Dr. Liuzhen Wu (Academy of Mathematics and Systems Science, Chinese Academy of Sciences)
    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 (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 (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 (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 (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 (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 (University of Utrecht, Netherlands)

    Recent Academic Events

    Workshop

    BIRS-IASM Workshop

    • BIRS-IASM Workshop: New Frontiers in Proofs and Computation
    • Date:September 12 to September 17, 2021
    • Place: The Institute for Advanced Study in Mathematics, Hangzhou, China
    Seminar Series

    Proof Theory Virtual Seminar

    • Seminar series: Proof Theory Virtual Seminar
    • Date:Starting from October 7, 2020
    • Support by the Proof Society and the Technical University of Darmstadt. See the link for more details.
    World Logic Day lectures

    World Logic Day 2021

    • In order to celebrate World Logic Day 2021,the school of philosophy at Wuhan University in China organizes two online public lectures.
    • Speakers: Prof. Matthias Baaz (Vienna University of Technology) and Prof. Qi Feng (Academy of Mathematics and Systems Science, Chinese Academy of Sciences)
    • For details,refer to the two lectures on January 14, 2021 in the above LFM Online Seminar.
    Workshop

    Oberwolfach Workshop

    • Workshop Title: Proof Theory, Constructive Mathematics
    • Date:8 Nov-14 Nov 2020
    • Place:Oberwolfach Research Institute for Mathematics, Oberwolfach, Germany