Definitions from Wiktionary (Kleene's fixed-point theorem)
▸ noun: Alternative form of Kleene fixed-point theorem [(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's fixed-point theorem
▸ Usage examples for Kleene's fixed-point theorem
▸ Idioms related to Kleene's fixed-point theorem
▸ Wikipedia articles (New!)
▸ Words that often appear near Kleene's fixed-point theorem
▸ Rhymes of Kleene's fixed-point theorem
▸ Invented words related to Kleene's fixed-point theorem
▸ noun: Alternative form of Kleene fixed-point theorem [(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's fixed-point theorem
▸ Usage examples for Kleene's fixed-point theorem
▸ Idioms related to Kleene's fixed-point theorem
▸ Wikipedia articles (New!)
▸ Words that often appear near Kleene's fixed-point theorem
▸ Rhymes of Kleene's fixed-point theorem
▸ Invented words related to Kleene's fixed-point theorem