Μ-operatoro

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

,

se kaj nur se

 kaj
por ĉiu ,  estas difinita kaj .

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

Kategorio:Rekursia teorio