JUCS - Journal of Universal Computer Science 15(6): 1280-1300, doi: 10.3217/jucs-015-06-1280
Representing Measurement Results
expand article infoArno Pauly
‡ University of Cambridge, Cambridge, United Kingdom
Open Access
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
computable analysis, admissible representation, measurement, normal distribution, computation by physical devices