At 12:47 30/07/04 +0200, I wrote:
>Oh, any accurate machine (for which Bp->p is true) is obviously normal.
This is false. But an accurate stable machine will
be stable. Just substitute p with Bp in (Bp -> p) to get BBp -> Bp.
That's stability, not normality.
Bruno
http://iridia.ulb.ac.be/~marchal/
Received on Fri Jul 30 2004 - 12:57:59 PDT