1. 可计算性
研讨班
集智俱乐部

2. ⽇日程
• 第⼀一次：2⽉月23⽇日 苑明理
• 第⼀一部分：基本概念的初步探讨
• 第⼆二部分：While 语⾔言
• 第⼆二次：3⽉月9⽇日 苑明理
• 第三部分：可计算性的基本理论
• 第四部分：元编程、⾃自应⽤用、编译器⽣生成
• 第三次：3⽉月23⽇日 ⽼老⻥鱼
• 第五部分：其他顺序计算模型
• 第六部分：邱奇－图灵论题
• 第七部分：函数式语⾔言的可计算性
• 第四次：4⽉月6⽇日
• 第⼋八部分：不可解问题
• 第九部分：希尔伯特第⼗十问题
• 第五次：4⽉月20⽇日 张江
• 第⼗十部分：哥德尔不完备定理
• 第六次：5⽉月4⽇日
• 第⼗十⼀一部分：基于数的可计算性理论
• 第⼗十⼆二部分：更抽象的可计算性途径

3. 第四部分
• 解释器的开销
• 编译器的⾃自举
• ⼆二村射影

4. 解释器的开销
• 同样⼀一段程序在解释器中执⾏行，往往⽐比该程序编译出来的程序要慢
• 解释器可以多层层叠，但执⾏行效率也会越来越慢

5. 编译器⾃自举
• 语⾔言的层次
• 扩充语⾔言：S’
• ⾼高层语⾔言：S
• 底层语⾔言：T
• 初始的三个编译器
• t：S —> T by T
• h：S —> T by S
• h’：S’ —> T by S
• 叠罗汉的游戏
• t1’ = [t](h’) ：S’ —> T by T
• t2 ‘= [t1’](h’)：S’ —> T by T
• t3 ‘= [t2’](h’)：S’ —> T by T

6. 编译器⾃自举

7. 第⼀一⼆二村射影

8. 第⼆二⼆二村射影

9. 第三⼆二村射影