Translate:
English
Chinese (S)
Chinese (T)
Croatian
Dutch
French
German
Hebrew
Italian
Japanese
Korean
Portuguese
Russian
Serbian
Spanish
Swedish
Turkish
Additional
Kleene fixpoint theorem
English Wikipedia - The Free Encyclopedia
Download this dictionary
Kleene fixed-point theorem
In the
mathematical
areas of
order
and
lattice theory
, the
Kleene fixed-point theorem
, named after American mathematician
Stephen Cole Kleene
, states the following:
Let (L, ⊑) be a CPO (
complete partial order
), 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.
See more at Wikipedia.org...
© This article uses material from
Wikipedia
®
and is licensed under the
GNU Free Documentation License
and under the
Creative Commons Attribution-ShareAlike License