Layman TEMS에서 최소화 (μ-함수)는 무엇입니까?

Question

컴퓨터 과학 μ-function은 일반적으로 재귀 적 기능에 대한 원초적 재귀 기능을 확장하는 데 사용되며,이 기능이 수행하는 것을 이해할 수는 없습니다.

공식이 많이 있지만, 나는 무엇인지 이해할 수 없습니다.파이썬 (또는 다른 범용 언어)에서 글쓰기가 있다고 가정 해 봅시다.μ-function IRL의 예는 무엇입니까?

Answer 1

이것은 Python에서 최소화됩니다 :

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

.

$ \ mU $ , $ \ mu$ 검색이 성공할 수있는 보장이없는 첫 번째 ( minimal ) 번호를 만족하는 첫 번째 ( minimal ) 숫자를 검색합니다.