Note that Lamport admitted that his result was never accepted by the scientific community. > continuous (The paper implicitly assumes non-discrete continuity)

Note that Lamport admitted that his result was never accepted by the scientific community. > continuous (The paper implicitly assumes non-discrete continuity) Differential-equation based hysical models are continuous. Computational systems are discrete, as long as the clock is slower than the . Lamport surely knows this, the transition duration. He waves away the empirical disproof of his claim by arguing that reality is merely a finite approximation where low probabilities runs down to zero. He even mentions this stuff in the paper, making the paper quite weird. My only guess is that he fell into the trap of forgetting that infinitesimal objects ate idealized mathematical models not physical realities.