Algorithmic Measurement Procedures

Measurements are shown to be processes designed to return figures: they are effective . This effectivity allows for a formalization as Turing machines, which can be described employing computation theory. Inspired in the halting problem we draw some limitations for measurement procedures: procedures...

Full description

Saved in:
Bibliographic Details
Published in:Foundations of physics 2020-08, Vol.50 (8), p.749-763
Main Authors: Solis-Labastida, Aldo F. G., Hirsch, Jorge G.
Format: Article
Language:English
Subjects:
Classical and Quantum Gravitation
Classical Mechanics
History and Philosophical Foundations of Physics
Philosophy of Science
Physics
Physics and Astronomy
Quantum Physics
Relativity Theory
Statistical Physics and Dynamical Systems
Turing machines
Citations: Items that this one cites
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Measurements are shown to be processes designed to return figures: they are effective . This effectivity allows for a formalization as Turing machines, which can be described employing computation theory. Inspired in the halting problem we draw some limitations for measurement procedures: procedures that verify if a quantity is measured cannot work in every case.
ISSN:0015-9018
1572-9516
DOI:10.1007/s10701-020-00354-4