什么是Layman TEM中的最小化（μ函数）？

Question

在计算机科学中，μ-函数用于扩展一组原始递归函数，通常递归函数，我无法理解这个函数的函数。

有很多公式，但我无法理解是什么。假设我在Python（或任何其他通用语言）编写。什么是μ函数IRL的示例？

Answer 1

这是Python中的最小化：

def mu(p):
    n = 0
    while not p(n):
        n += 1
    return n

.

是一个稍微复杂的练习，将生成的练习转换为 $ \ mu $ ，但基本上， $ \ mu$ 对满足给定条件的第一个（最小）编号执行搜索，在那里无法保证搜索将成功。