doronshadmi
Penultimate Amazing
- Joined
- Mar 15, 2008
- Messages
- 13,320
Great! Progress. Here's Definition 4, revision 3 again:
Definition 4: If object x = xor ≠ (where ≠ is < xor >) w.r.t object y, then object x is called Local.
Let's parse the IF-part:
object x = xor ≠ w.r.t object y ==>
(object x = w.r.t. object y) xor (object x ≠ w.r.t object y)
The not-equal part has it's own set of questions. I'd rather not ask them now and create more distractions, so I'll focus on just the equal part.
(object x = w.r.t. object y) ==>
Object x is the same as with respect to object y.
Doron, do you see how your use of "w.r.t." makes nonsense out of that sentence? Either object x is the same as object y or it is not. So, now the next question that needs an answer: What do you actually mean by "object x = w.r.t. object y"?
Let us do it in this way:
"satisfies the obseravtion of y through (or by) x" means that we can conclude something about x, which is based on how it is observing y.
Definition 4: If only a one relation between x and y satisfies the obseravtion of y through x , then x is local.
An example:
x = .
y= ___
We have state _._
In this case y is obsereved by x as:
x=y (we do not need more than a one relation) and by definiton 4 we can conclude that x is Local.
Definitionn 5: If only more than a one relation between x and y satisfies the obseravtion of y through x , then x is non-local.
An example:
x = ___
y= .
We have state _._
In this case y is obsereved by x as:
x < and > y (we need more than a one relation) and by definiton 5 we can conclude that x is Non-local.
Can you address 4 and 5 by using your style?
Last edited: