13
第二部：EGB第 13 章
BlooP、FlooP 与 GlooP
可计算性：有界递归 vs 通用递归。
计算的极限是什么？本章引入三种假想语言。BlooP（有界循环）必停但能力有限；FlooP（自由循环）全能但可能永不停止（停机问题）。这对应可预测系统与拥有怪圈的系统。要有真正智能，就得接受无限循环的危险。
可计算性：BlooP 与 FlooP
迭代：0
FOR i = 1 TO 20 DO
PRINT i
END
PRINT i
END
可计算性：有界递归 vs 通用递归。
计算的极限是什么？本章引入三种假想语言。BlooP（有界循环）必停但能力有限；FlooP（自由循环）全能但可能永不停止（停机问题）。这对应可预测系统与拥有怪圈的系统。要有真正智能，就得接受无限循环的危险。