第1章 上一章注释［001］（3 / 3）

《四进制造物主》转载请注明来源：369小说网(369book.cc)

ub是减法器

对f进行最小化操作即可得到我们想要的结果。

验证一下：

f(8，5，0)=lessthanequal(mult(1，5)，8)=1不等于0，所以0不是输出。

f(8，5，1)=lessthanequal(mult(1，5)，8)=0，最小，所以1是输出。

div(8，5)=8\/\/5=1没错，十分完美。

如果我们想计算一下8\/\/0:

f(8，0，0)=lessthanequal(mult(1，0)，8)=1不等于0，所以0不是输出。

f(8，0，1)=lessthanequal(mult(2，0)，8)=1不等于0，所以0不是输出。

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

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

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

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

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

下一章是正常内容