O que é a minimização de (μ-função) na leigo tems?

Question

Em Ciência da computação μ-função é utilizado para estender o conjunto de primitivamente funções recursivas, geralmente, funções recursivas, e eu não consigo entender o que esta função faz.

Há um monte de fórmulas, mas eu não consigo entender o que é, é.Vamos dizer que eu estou escrevendo em Python (ou qualquer outra linguagem de propósito geral).Quais são alguns exemplos de μ-função IRL?

Answer 1

Esta é a minimização em Python:

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

Ele é um pouco mais complicado do exercício para converter um while para $\mu$, mas , essencialmente, $\mu$ executa uma pesquisa para o primeiro (o mínimo de) número de satisfazer uma determinada condição, onde não há nenhuma garantia de que a pesquisa terá sucesso.