Representing Measurement Results
Arno Pauly · Zenodo (CERN European Organization for Nuclear Research) · 2020
Abstract: To gain insight into the relationship between physical theories and computation, we examine the link between measurement devices and computers in the framework of TTE. Starting from a formal definition of a measurement procedure, different approaches to associate a representation with a measurement procedure are studied, and an equivalence class of representations suitable for representing the results of a measurement is defined for each measurement procedure.