Manuscript VIII-ST@1 · VIII-ST.tex · proposition · fe979f3b

Proposition: Calibration and clock limits

One destructive clock and complete table instruments · lines 1876–1904 · proof included or linked

VIII-ST@1#prop:clocklimits

Back to manuscript

For distinct labels , exact event-time calibration at a single actual reading event ,

forces one deterministic outcome, or is impossible if no label equals .

A history/programme calibration may instead label different stored events or schedules and need not equal the reading-event time.

The clock instrument has no universal left inverse. No finite matrices satisfy , . Consuming does not consume the geometric time coordinate.

Proof. Distinctness permits at most one event-calibrated outcome. For noninvertibility, the two clock states , with the same payload, have identical destructive outputs. The commutator assertion follows by tracing the equation. The metric and are external data, not output factors removed by .

Displayed formulas in this passage

  • unlabeled · line 1880

Nearby in this section