Important Results
A poset D is a dcpo if and only if each chain in D has a supremum.
If f is a continuous function on a poset D then it has a least fixed point, given as the least upper bound of all finite iterations of f on the least element 0: Vn in N f n(0). This is the Kleene fixed-point theorem.
Read more about this topic: Domain Theory
Famous quotes containing the words important and/or results:
“I love this child. Red-haired—patient and gentle like her mother—fey and funny like her father. When she giggles I can hear him when he and I were young. I am part of this child. It may be only because we share genes and that therefore smell familiar to each other. . . . It may be that a part of me lives in her in some important way. . . . But for now, it’s jelly beans and “Old MacDonald” that unite us.”
—Robert Fulghum (20th century)
“Intellectual despair results in neither weakness nor dreams, but in violence.... It is only a matter of knowing how to give vent to one’s rage; whether one only wants to wander like madmen around prisons, or whether one wants to overturn them.”
—Georges Bataille (1897–1962)