Definitions from Wiktionary (Kleene fixed-point theorem)
▸ noun: (mathematics) 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.
▸ Words similar to kleene fixed-point theorem
▸ Usage examples for kleene fixed-point theorem
▸ Idioms related to kleene fixed-point theorem
▸ Wikipedia articles (New!)
▸ Words that often appear near kleene fixed-point theorem
▸ Rhymes of kleene fixed-point theorem
▸ Invented words related to kleene fixed-point theorem
▸ noun: (mathematics) 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.
Similar:
mathematical principle,
algorithm,
proof,
logic,
and,
semantic tableau,
switching function,
true,
alternation,
arithmetical hierarchy,
more...
▸ Words similar to kleene fixed-point theorem
▸ Usage examples for kleene fixed-point theorem
▸ Idioms related to kleene fixed-point theorem
▸ Wikipedia articles (New!)
▸ Words that often appear near kleene fixed-point theorem
▸ Rhymes of kleene fixed-point theorem
▸ Invented words related to kleene fixed-point theorem