Leslie Lamport revolutionized computer science with math [video]

Re:Leslie Lamport revolutionized computer science with math ... by andi999 on Wednesday May 25, 2022 @04:52AM (#31502007)

So you are saying an algorithm which says always go left unless you start at 1, is physically impossible (apart from using superdeterminism), because the A function would be non-continuous?

I am glad that paper got rejected.

[ Parent | on HN ]

Re:Leslie Lamport revolutionized computer science with math ... by espadrine on Wednesday May 25, 2022 @06:26AM (#31502534)

> So you are saying an algorithm which says always go left unless you start at 1, is physically impossible

The algorithm itself is possible. If implemented in a continuous machine, though, it is not guaranteed to reach either point 0 or point 1 in any given timeframe.

In practice, it usually does not matter. One application I can think of, though, is the surprisingly powerful fault injection vulnerabilities which can break the physical implementation of a cryptosystem: http://euler.ecs.umass.edu/ece597/pdf/Fault-Injection-Attack...

[ Parent | on HN ]