Content deleted Content added
Arthur Rubin (talk | contribs) |
CarlHewitt (talk | contribs) |
||
Line 71:
Here we go again. I'm not saying that mathematical logic can predict the outcome of a calculation, because of the indeterminancy, but it ''can'' determine a set of possible computations, and potentially verify that any terminating calculation solves the desired problem. [[User:Arthur Rubin|Arthur Rubin]] | [[User_talk:Arthur_Rubin|(talk)]] 02:37, 2 December 2005 (UTC)
:The article says
::''What does the mathematical theory of Actors have to say about this? A closed system is defined to be one which does not communicate with the outside. Actor model theory provides the means to characterize all the possible computations of a closed Actor system. So mathematical logic can characterize (as opposed to implement) all the possible computations of a closed Actor system. However, this is impossible for an open Actor system S in which the addresses of outside Actors are 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.''
:Regards, --[[User:CarlHewitt|Carl Hewitt]] 04:35, 2 December 2005 (UTC)
| |||