Rotwang <sg552 at hotmail.co.uk>: > But my point was that it can't carry out those ℵ₁ discrete steps in > finite time (assuming that time is real-valued), because there's no > way to embed them in any time interval without changing their order. I'd have to think so I take your word for it. Marko