|
|
|
|
Representing Measurement Results
|
|
|
|
|
|
|
|
نویسنده
|
Pauly Arno
|
|
منبع
|
journal of universal computer science - 2009 - دوره : 15 - شماره : 6 - صفحه:1280 -1300
|
|
چکیده
|
Abstract: to gain insight into the relationship between physical theories and com- putation, 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.
|
|
کلیدواژه
|
Key Words: computable analysis ,admissible representation ,measurement ,normal distribution ,computation by physical devices
|
|
آدرس
|
University of Cambridge, United Kingdom
|
|
پست الکترونیکی
|
arno.pauly@cl.cam.ac.uk
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Authors
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|