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.

2021
Lecture

LFM Online Lecture

  • Lecture Title: What is concrete incompleteness?

  • Date and Time：2021-12-22, 9:00-11:30 Beijng time (UTC+8)

  • Speaker: Prof. Colin McLarty (Case Western Reserve University, USA)

Lecture

LFM Online Lecture

  • Lecture Title: Cyclic Henkin Logic: Is there Life beyond Löb’s Third Condition?

  • Date and Time：2021-06-22, 16:00-18:00 Beijing time (UTC 8:00-10:00)

  • Speaker: Prof. Albert Visser (School of Philosophy, Utrecht University, Netherlands)

Lecture

LFM Online Lecture

  • Lecture Title: Flexible Turing Machines

  • Date and Time：2021-06-15, 9:00-11:00 Beijing Time (UTC 1:00-3:00)

  • Speaker: Prof. Ali Enayat (Professor of Logic, University of Gothenburg, Sweden)

Lecture

LFM Online Lecture

  • Lecture Title: The journey from Peano Arithmetic to proof complexity

  • Date and Time： 2021-05-18, 16:00-18:00 Beijing Time (UTC 8:00-10:00)

  • Speaker: Prof. Pavel Pudlák (Mathematical Institute of the Czech Academy of Sciences, Czech)

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

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 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 (Department of Mathematics, 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 (Department of Mathematics, 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 (School of Mathematics，National University of Singapore, Singapore)

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 (Department of Mathematics，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 (School of Mathematics, National University of Singapore)