Contextualizebeta

Kleene fixed-point theorem

name

Etymology

Named after American mathematician Stephen Cole Kleene.

Definitions

  1. Suppose (L,⊑) is a directed-complete partial order with a least element, and let f

    Suppose (L,⊑) is a directed-complete partial order with a least element, and let f:L→L be a Scott-continuous (and therefore monotone) function. Then f has a least fixed point, which is the supremum of the ascending Kleene chain of f.

The neighborhood

Vish — recursive loop

No curated loop yet for Kleene fixed-point theorem. Loops are being traced one word at a time while the ingestion pipeline matures.

sense glosses and etymology drawn from English Wiktionary · source · CC-BY-SA