Top Qs
Timeline
Chat
Perspective
Kleene fixed-point theorem
From Wiktionary, the free dictionary
Remove ads
English
Alternative forms
Etymology
Named after American mathematician Stephen Cole Kleene.
Proper noun
the Kleene fixed-point theorem
- (mathematics) Suppose is a directed-complete partial order with a least element, and let be a Scott-continuous (and therefore monotone) function. Then has a least fixed point, which is the supremum of the ascending Kleene chain of .
Remove ads
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads