Mu

<character>

(Greek letter).

<unit>

1. /micro/ prefix denoting division by 10^6, e.g. mu m (micrometre, a millionth part of a metre). Sometimes written as a 'u', the ASCII character nearest in appearance.

<mathematics>

2. /myoo/ In the theory of functions, mu x . E denotes the least value of x for which E = x, i.e. the least fixed point of the function \ x . E. The recursive function mu f . H f satisfies (and is defined by) the equation 

 mu f . H f = H (mu f . H f)
An alternative notation for the same function is 

 fix H = H (fix H)
See fixed point combinator.

<database>

3. multiple value.

[Jargon File]

Last updated: 1995-10-30

Nearby terms:

M Technology Association ♦ MTOS ♦ MTS ♦ MTTR ♦ MTU ♦ Mu ♦ mu ♦ MUA ♦ MUCAL ♦ MUD ♦ muddie

Try this search on Wikipedia, Wiktionary, Google, OneLook.

Loading