The first week (Jul 21 - Jul 25):

喻良:

The second week (Jul 28 - Aug 1):

Ben Castle:

Room: TBA

Hours:

• Lecture 1: 9:15 - 10:30 (GMT+8)
• Lecture 2: 11:00 - 12:15 (GMT+8)
• Section: 15:00 - 17:00 (GMT+8)

本课程内容主要是递归论基础及其应用。我们计划讲授递归论中的基本技巧，包括优先方法，力迫法，能行超穷归纳等技术。然后我们会介绍一些递归论在描述集合论，算法信息论以及其它数学分支的应用。

Program:

• Day 1: 递归论基础
• Day 2: 能行力迫法
• Day 3: 高阶递归论入门
• Day 4: 算法信息论基础
• Day 5: 一些其它的应用

Lecturer:

喻良，南京大学数学学院教授，主要研究领域为数理逻辑，尤其是递归论，集合论以及算法随机性理论。通过与一些合作者合作，解决了例如 r.e. 度是否是 d.r.e 度的 $E$ 的初等子结构，随机性的刻画问题，发展了高阶递归论与随机性理论以及回答了决定性公理与可数选择公理的关系等一系列公开问题。

TBA

Lecturer:

Ben Castle is a mathematical logician at Department of Mathematics, University of Illinois, Urbana-Champaign. He is specializing in model theory and its interactions with algebra, geometry, and combinatorics. Before coming to Illinois, Castle held postdoctoral positions at the Fields Institute, Notre Dame University, Ben-Gurion University of the Negev, and the University of Maryland; during this time, his work focused on studying reconstruction theorems in geometry from a model-theoretic lens. He holds a PhD in mathematics from UC Berkeley.

• Zhaokuan Hao 郝兆宽
• Ruizhi Yang 杨睿之
• Ningyuan Yao 姚宁远
• Will Johnson

Contact: logic@fudan.edu.cn