【复旦2025数理逻辑暑期学校】喻良：递归论基础及其应用
合集 · 复旦2025数理逻辑暑期学校 (2)
Parts
Description
2025年是复旦大学数理逻辑暑期学校的第八年。本届主题为“递归论·模型论”。 【课程主题】：递归论基础及其应用 【授课教师】：喻良，南京大学数学学院教授，主要研究领域为数理逻辑，尤其是递归论，集合论以及算法随机性理论。通过与一些合作者合作，解决了例如 r.e. 度是否是 d.r.e 度的 E 的初等子结构，随机性的刻画问题，发展了高阶递归论与随机性理论，以及回答了决定性公理与可数选择公理的关系等一系列公开问题。
Comments
慕名而来[Mygo表情包_探头]
♥ 16 ↩ 1
完了[笑哭]文科生有点崩溃了[笑哭][笑哭][笑哭]
♥ 5 ↩ 12
开头那个郝兆宽老师气质真好
♥ 2
想听懂这个有没有前置知识的书单，最好是那种布尔巴基式的教材。
♥ 1 ↩ 11
线下的一员[星星眼]
♥ 1
好课！
♥ 1
太好了，终于有讲递归论的资料了。
学习了半年，我终于能听这个课了[打call]
天书啊
有没有PPT和讲义呀
我去太棒了，恰好这学期要上一门现代符号儿逻辑的课，谢谢up🙏
话说现在哲学学这个玩意儿的目的是什么？
↩ 4
[tv_doge]
太，好了
上海技物所实习生来听课了，离复旦最近的一集[doge]
纯数学呀[笑哭]我想着哲学院发的可能是跟分析哲学有关的