Fri Mar 19 23:53:06 CET 2010

The Arbiter Problem

I'm watching the interview with Leslie Lamport[1].  The recurring
subject is the arbiter problem.  Essentially: "which came first" is
not solvable in finite time in general as time differences approach

Then there's some mention about discrete vs. continuous, and time
differences and frequencies (non-discrete entities) used for
information representation in the brain.

Now this makes an old itch surface.  I'm far from being able to
express it, but it has to do with sigma-delta modulators (binary
representation of continuous signals) and cross-modulation of
near-equal square waves where arbitrary short pulses can arise.

[1] http://channel9.msdn.com/shows/Going+Deep/E2E-Erik-Meijer-and-Leslie-Lamport-Mathematical-Reasoning-and-Distributed-Systems/
[2] http://citeseerx.ist.psu.edu/viewdoc/download?doi=