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.

2022
Lecture

2022 World Logic Day Lecture & LFM lecture

  • Lecture Title: Methodological frames: mathematical structuralism and proof theory

  • Date and Time：2022-01-14, 20:00-22:00 Beijng time (UTC+8)

  • Speaker: Prof. Wilfried Sieg (Carnegie Mellon University, USA)

  • See here for the abstract. See here for the worldwide 2022 World Logic Day events.

Seminar

LFM Online Seminar

  • Lecture Title: The Provability of Consistency: Debunking the Myth

  • Date and Time： 2022-04-14，9:30-11:30 am Beijng Time (UTC+8)

  • Speaker: Prof. Sergei Artemov (The City University of New York, USA)

Seminar

LFM Online Seminar

  • Lecture Title: Normal forms of proofs in natural deduction I: existence and uniqueness

  • Date and Time： 2022-11-09，19:00-21:00 Beijng Time (UTC+8)

  • Speaker: Prof. Helmut Schwichtenberg (Ludwig-Maximilians-Universität Munich, Germany)

Seminar

LFM Online Seminar

  • Lecture Title: Normal forms of proofs in natural deduction II: complexity

  • Date and Time： 2022-11-16，19:00-21:00 Beijng Time (UTC+8)

  • Speaker: Prof. Helmut Schwichtenberg (Ludwig-Maximilians-Universität Munich, Germany)

Seminar

LFM Online Seminar

  • Lecture Title: The Art of Ordinal Analysis

  • Date and Time： 2022-11-30，19:00-21:00 Beijng Time (UTC+8)

  • Speaker: Prof. Michael Rathjen (University of Leeds, UK)

Seminar

LFM Online Seminar

  • Lecture Title: Essential Hereditary Undecidability

  • Date and Time： 2022-12-12，19:00-21:00 Beijng Time (UTC+8)

  • Speaker: Prof. Albert Visser (Utrecht University, The Netherlands)