Manuscript IX-A-ST@1 · IX-A-ST.tex · section · 6e99d1b2

Finite evaluation tables and one destructive clock

Finite evaluation tables and one destructive clock · lines 1386–1393

Back to manuscript

The continuum theorem precedes the finite interface. A finite record can report a supplied evaluation without becoming a measurement of the continuum object from which that evaluation was defined.