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:
“Film is more than the twentieth-century art. It’s another part of the twentieth-century mind. It’s the world seen from inside. We’ve come to a certain point in the history of film. If a thing can be filmed, the film is implied in the thing itself. This is where we are. The twentieth century is on film.... You have to ask yourself if there’s anything about us more important than the fact that we’re constantly on film, constantly watching ourselves.”
—Don Delillo (b. 1926)
“Consider what you have in the smallest chosen library. A company of the wisest and wittiest men that could be picked out of all civil countries in a thousand years have set in best order the results of their learning and wisdom. The men themselves were hid and inaccessible, solitary, impatient of interruption, fenced by etiquette; but the thought which they did not uncover in their bosom friend is here written out in transparent words to us, the strangers of another age.”
—Ralph Waldo Emerson (1803–1882)