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
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.