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:
“How we shall earn our bread is a grave question; yet it is a sweet and inviting question. Let us not shirk it, as is usually done. It is the most important and practical question which is put to man. Let us not answer it hastily. Let us not be content to get our bread in some gross, careless, and hasty manner. Some men go a-hunting, some a-fishing, some a-gaming, some to war; but none have so pleasant a time as they who in earnest seek to earn their bread.”
—Henry David Thoreau (1817–1862)
“How can you tell if you discipline effectively? Ask yourself if your disciplinary methods generally produce lasting results in a manner you find acceptable. Whether your philosophy is democratic or autocratic, whatever techniques you use—reasoning, a “star” chart, time-outs, or spanking—if it doesn’t work, it’s not effective.”
—Stanley Turecki (20th century)