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.

中文翻译：

---

算法测量程序

测量显示为旨在返回数字的过程：它们是有效的。这种有效性允许形式化为图灵机，可以使用计算理论来描述。受停机问题的启发，我们对测量程序提出了一些限制：验证一个量是否被测量的程序不能在所有情况下都有效。