摘要：测量被证明是一种返回数值的过程：它们具有效果。这种效力可以使其形式化为图灵机，可以使用计算理论来描述。受到停机问题的启发，我们对测量程序提出了一些限制：验证某种数量是否被测量的程序在每种情况下都无法工作。
作者：Aldo F. G. Solis-Labastida and Jorge G. Hirsch
论文ID：1906.11028
分类：Other Computer Science
分类简称：cs.OH
提交时间：2020-08-26
PDF 下载： 英文版 中文版pdf翻译中