Bruno Marchal wrote:
> On 11 Feb 2009, at 00:38, Günther Greindl wrote:
>> I'm with Mike and Brent.
>> Bruno, giving A1 and A2 mirrors which would show different stuff
>> violates Stathis' assumption of running the _same_ computation - you
>> can't go out of the system.
> See my answer to Brent. Once A1 looks at itself in the mirror (and  
> thus A2 too, given the protocol). A1 sees MA1 and A2 sees MA2, and the  
> computation differs. 

If A1 sees MA1 and A2 sees MA2 and they see something different, i.e. MA1 and 
MA2 are distinguishable, then you've violated the hypothesis that the 
computations are identical.


You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To post to this group, send email to
To unsubscribe from this group, send email to
For more options, visit this group at

Reply via email to