Find link

language:

Find link is a tool written by Edward Betts.

searching for Μ operator 2 found (12 total)

Kleene's T predicate (1,207 words) [view diff] exact match in snippet view article find links to article

n_{k})\simeq U(\mu x\,T_{k}(e,n_{1},\ldots ,n_{k},x))} , where μ is the μ operator ( μ x ϕ ( x ) {\displaystyle \mu x\,\phi (x)} is the smallest natural

Computability theory (6,419 words) [view diff] exact match in snippet view article find links to article

example the μ-recursive functions obtained from primitive recursion and the μ operator. The terminology for computable functions and sets is not completely standardized