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.

2024
Lecture

2024 World Logic Day Lecture

  • Lecture Title: What are consistency proofs and what should they be

  • Date and Time：2024-01-15, 19:00-21:00 Beijing time (UTC+8)

  • Speaker: Prof. Reinhard Kahle (University of Tübingen, Germany)

  • Lecture Title: “Benacerraf’s Problems” in Logic

  • Date and Time：2024-01-15, 9:00-11:00 Beijing time (UTC+8)

  • Speaker: Prof. Bo Chen (Wuhan University, China)

Lecture

Online Lecture

  • Lecture Title: Reverse mathematics over a weak base theory

  • Date and Time：2024-04-17，16:00-18:00 Beijing time (UTC+8)

  • Speaker: Prof. Leszek Kołodziejczyk (University of Warsaw, Poland)


Lecture

Online Lecture

  • Lecture Title: Modern type theory and its applications

  • Date and Time：2024-05-08，19:00-21:00 Beijing time (UTC+8)

  • Speaker: Prof. Zhaohui Luo (Royal Holloway, University of London, UK)


Lecture

Online Lecture

  • Lecture Title: Milestones and Small Steps in Model Theory of Arithmetic

  • Date and Time：2024-05-30，19:00-21:00 Beijing time (UTC+8)

  • Speaker: Prof. Roman Kossak (The City University of New York, USA)


Lecture

Online Lecture

  • Lecture Title: Undefinability and Absolute Undefinability in Arithmetic

  • Date and Time：2024-06-06，19:00-21:00 Beijing time (UTC+8)

  • Speaker: Prof. Roman Kossak (The City University of New York, USA)


Lecture

Online Lecture

  • Lecture Title: Why three ways of doing mathematics became rival philosophies

  • Date and Time：2024-07-04，9:30-11:30 Beijing time (UTC+8)

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


Lecture

Online Lecture

  • Lecture Title: The continuing challenge of Poincare, Hilbert, and Gödel

  • Date and Time：2024-07-05，9:30-11:30 Beijing time (UTC+8)

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


Lecture

Online Lecture

  • Lecture Title: Geometrized arithmetic and the unity of mathematics

  • Date and Time：2024-07-08，9:30-11:30 Beijing time (UTC+8)

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


Lecture

Online Lecture

  • Lecture Title: The long view

  • Date and Time：2024-07-09，9:30-11:30 Beijing time (UTC+8)

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


Lecture

Online Lecture

  • Lecture Title: Proof, Truth and Verification

  • Date and Time：2024-11-13，19:00-21:00 Beijing time (UTC+8)

  • Speaker: Prof. Graham Leigh (University of Gothenburg, Sweden)