Hao Wang (王浩) lectures and workshops
2023 September 26-28
lecture hall of Tsinghua University Library
September 26 (Tue.) evening
opening of lectures and workshops chair: Fenrong Liu (刘奋荣)
19:00-19:30 opening + group photo
Gang Peng (彭刚), Andrew Yao (姚期智), Shing-Tung Yau (丘成桐), Yuping Ni (倪玉平), Wenming Tang (唐文明)
19:30-19:45 tea break
— — — — — — — — —
Public lecture 1 chair: Shing-Tung Yau (丘成桐)
19:45-21:15 Hugh Woodin: Is there mathematical truth beyond the reach of mathematical proof?
September 27 (Wed.) afternoon
Workshop on mathematical logic and philosophy of maths chair: Qi Feng (冯琦)
13:30-14:30 Hugh Woodin: The axiom V = Ultimate-L and Goldberg's ultrapower axiom
14:30-14:45 tea break
14:45-15:25 Su Gao (高速): From computational complexity to classifications in mathematics
15:25-15:30 break
15:30-16:10 Liuzhen Wu (吴刘臻): A surjection from Cartesian square onto powerset
16:10-16:15 break
16:15-16:55 Taotao Xing (邢滔滔): Hao Wang on Predicativism
16:55-18:35 supper at Jia Suo restaurant
September 27 (Wed.) evening
Public lecture 2 chair: Andrew Yao (姚期智)
19:00-20:30 Moshe Vardi: What came first, math or computing?
20:30-21:30 reception
September 28 (Thu.) afternoon
Workshop on computational logic chair: Junhua Yu (俞珺华)
13:30-14:30 Moshe Vardi: Machine learning and logic: fast and slow thinking
14:30-14:45 tea break
14:45-15:25 Thomas Bolander: Epistemic planning: logical formalism, computational complexity, and robotic implementations
15:25-15:30 break
15:30-16:10 Yijia Chen (陈翌佳): First-order logic, AC0-circuits, and graph of bounded shrub-depth
16:10-16:15 break
16:15-16:55 R Ramanujam: Bounds on proof size and security verification
16:55-17:00 closing of the lectures and workshops
17:00-18:40 supper at Jia Suo restaurant
（转自微信公众号“水木逻辑”）