4.2 递归函数和不动点算子 从数学的观点看 -含PCF表达式M的方程f:o=M是否都有解？ 一若有若干个解的话，选择哪个解？ -在讨论PCF的指称语义时解决这些问题 从计算的观点看 -递归函数声明有清楚的计算解释 因此，暂且假定每个这样的等式都有解，并在 PC℉中增加上述表示它的语法4.2 递归函数和不动点算子 • 从数学的观点看 – 含PCF表达式M的方程f : = M是否都有解？ – 若有若干个解的话，选择哪个解？ – 在讨论PCF的指称语义时解决这些问题 • 从计算的观点看 – 递归函数声明有清楚的计算解释 – 因此，暂且假定每个这样的等式都有解，并在 PCF中增加上述表示它的语法