Power Domains As Free Models of Theories of Non-determinism
Domain theorists have come to understand power domains abstractly as free models for theories of non-determinism. Just as the finite-powerset construction is the free semilattice, the powerdomain constructions should be understood abstractly as free models of theories of non-determinism. By changing the theories of non-determinism, different power domains arise.
The abstract characterisation of powerdomains is often the easiest way to work with them, because explicit descriptions are so intricate. (One exception is the Hoare powerdomain, which has a rather straightforward description.)
Read more about this topic: Power Domains
Famous quotes containing the words power, domains, free, models and/or theories:
“O Lord! What wonderful power you have!
We sowed jute and millet sprouted.”
—Punjabi proverb, trans. by Gurinder Singh Mann.
“I shall be a benefactor if I conquer some realms from the night, if I report to the gazettes anything transpiring about us at that season worthy of their attention,—if I can show men that there is some beauty awake while they are asleep,—if I add to the domains of poetry.”
—Henry David Thoreau (1817–1862)
“That’s free enterprise, friends: freedom to gamble, freedom to lose. And the great thing—the truly democratic thing about it—is that you don’t even have to be a player to lose.”
—Barbara Ehrenreich (b. 1941)
“The greatest and truest models for all orators ... is Demosthenes. One who has not studied deeply and constantly all the great speeches of the great Athenian, is not prepared to speak in public. Only as the constant companion of Demosthenes, Burke, Fox, Canning and Webster, can we hope to become orators.”
—Woodrow Wilson (1856–1924)
“Philosophers of science constantly discuss theories and representation of reality, but say almost nothing about experiment, technology, or the use of knowledge to alter the world. This is odd, because ‘experimental method’ used to be just another name for scientific method.... I hope [to] initiate a Back-to-Bacon movement, in which we attend more seriously to experimental science. Experimentation has a life of its own.”
—Ian Hacking (b. 1936)