Mu-operatoro
El Vikipedio
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
,
![\mu y\left[f(y)=0\right]=z](../../../math/8/d/2/8d27502a63a91aeb537f8a255c04742e.png)
- 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 skrikte difinita formulo φ kun unu libera variable, skribita kiel
![\mu y\left[\phi(y)\right]](../../../math/4/9/c/49cca51a012b384e06a8671f81524959.png)
.
