第1章 上一章注释001

我们给f(8，0，x)传入什么x，都找不到最小的x，所以div(8，0)=8//0无解，符合现实。

如果把最小化操作运用在原始递归函数上，得到的新函数就叫做偏递归函数。

好了，现在加减乘除我们都有了，只要是可计算的算法，我们都能执行。

至于无限循环怎么制造出来，从μ^1proj21(1)和div的栗子都可以看出来，如果最小化操作找不到最小值，就永远不会给出输出，这相当于while语句的功能。

——————————————————

下一章是正常内容

喜欢四进制造物主请大家收藏：(www.qibaxs10.cc)四进制造物主七八小说更新速度全网最快。