Indeterminacy in Concurrent Computation - A Limitation of Logic Due To Lack of Information

A Limitation of Logic Due To Lack of Information

An open Actor system S is one in which the addresses of outside Actors can be passed into S in the middle of computations so that S can communicate with these outside Actors. These outside Actors can then in turn communicate with Actors internal to S using addresses supplied to them by S. Due to limitation of the inability to deduce arrival orderings, knowledge of what messages are sent from outside would not enable the response of S to be deduced. When other models of concurrent systems ( e.g., process calculi) are used to implement open systems, these systems also can have behavior that depends on arrival time orderings and so cannot be implemented by logical deduction.

Read more about this topic:  Indeterminacy In Concurrent Computation

Famous quotes containing the words limitation, logic, due, lack and/or information:

    “...to many a mother’s heart has come the disappointment of a loss of power, a limitation of influence when early manhood takes the boy from the home, or when even before that time, in school, or where he touches the great world and begins to be bewildered with its controversies, trade and economics and politics make their imprint even while his lips are dewy with his mother’s kiss.”
    —J. Ellen Foster (1840–1910)

    “The usefulness of madmen is famous: they demonstrate society’s logic flagrantly carried out down to its last scrimshaw scrap.”
    —Cynthia Ozick (b. 1928)

    “The greatest horrors in the history of mankind are not due to the ambition of the Napoleons or the vengeance of the Agamemnons, but to the doctrinaire philosophers. The theories of the sentimentalist Rousseau inspired the integrity of the passionless Robespierre. The cold-blooded calculations of Karl Marx led to the judicial and business-like operations of the Cheka.”
    —Aleister Crowley (1875–1947)

    “Why does not the kitten betray some of the attributes common to the adult puss? A puppy is but a dog, plus high spirits, and minus common sense. We never hear our friends say they love puppies, but cannot bear dogs. A kitten is a thing apart; and many people who lack the discriminating enthusiasm for cats, who regard these beautiful beasts with aversion and mistrust, are won over easily, and cajoled out of their prejudices, by the deceitful wiles of kittenhood.”
    —Agnes Repplier (1858–1950)

    “If you have any information or evidence regarding the O.J. Simpson case, press 2 now. If you are an expert in fields relating to the O.J. Simpson case and would like to offer your services, press 3 now. If you would like the address where you can send a letter of support to O.J. Simpson, press 1 now. If you are seeking legal representation from the law offices of Robert L. Shapiro, press 4 now.”
    —Advertisement. Aired August 8, 1994 by Tom Snyder on TV station CNBC. Chicago Sun Times, p. 11 (July 24, 1994)