【复旦2025数理逻辑暑期学校】喻良：递归论基础及其应用
合集 · 复旦2025数理逻辑暑期学校 (2)
Parts
Description
2025年是复旦大学数理逻辑暑期学校的第八年。本届主题为“递归论·模型论”。 【课程主题】：递归论基础及其应用 【授课教师】：喻良，南京大学数学学院教授，主要研究领域为数理逻辑，尤其是递归论，集合论以及算法随机性理论。通过与一些合作者合作，解决了例如 r.e. 度是否是 d.r.e 度的 E 的初等子结构，随机性的刻画问题，发展了高阶递归论与随机性理论，以及回答了决定性公理与可数选择公理的关系等一系列公开问题。