Μ-operatoro

Ŝablono:Minusklo En rekursia teorio, la μ-operatoro estas la operatoro kiu, kiam oni aplikas ĝin al certa komputebla funkcio f rezultigas komputeblan funkcion kun la unua valoro por kiu f estas nulo.

Por la funkcio

$f:\mathbb{N}\to \mathbb{Z}$,

$\mu y[f(y)=0]=z$

se kaj nur se

$f(z)=0$ kaj

por ĉiu $y<z$, $f(y)$ estas difinita kaj $f(y)>0$.

Uzante similajn difinojn, ĉi tiu ideo povas esti ĝeneraligita al μ-formulo por ĉiu strikte difinita formulo φ kun unu libera variablo, skribita kiel

$\mu y[\varphi (y)]$.