Representing Measurement Results
Arno Pauly (University of Cambridge, United Kingdom)
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.
Keywords: admissible representation, computable analysis, computation by physical devices, measurement, normal distribution
Categories: F.0, F.1.1