埃德温·贝格斯。;JoséFélix科斯塔;约翰·V·塔克。 由算法控制的实验中的测量限制。 (英语) Zbl 1216.03028号 数学。结构。计算。科学。 20,第6期,1019-1050(2010). 小结:我们提出以下问题:如果一个物理实验完全由一个算法控制,那么该算法对实验所能进行的物理测量有什么影响?在一个研究物理系统以及与物理系统耦合的算法可能的计算性质的项目中,我们已经开始分析:(i) 实验过程的算法性质;和(ii)将物理实验用作图灵机器的预言。为了回答这个问题,我们扩展了实验预言机的理论,这样我们就可以使用图灵机来建模控制物理实验进行的实验过程。首先,我们指定了一个实验,该实验通过牛顿动力学中的碰撞测量质量,并检查其特性,为其用作预言器做准备。我们从这个实验预言开始,使用非均匀复杂性类对多项式时间图灵机的计算能力进行分类。其次,我们表明,对实验者建模和实验程序算法对使用设备可以测量的内容施加了限制。事实上,这些定理为我们在简单物理实验中测量的物理量的知识提供了一种新形式的不确定性原理。我们认为,这里建立的结果代表了一大类实验。 引用于1审查引用于9文件 MSC公司: 03A10号 科学哲学中的逻辑 00A79号 物理 03日第10天 图灵机及其相关概念 关键词:物理实验;物理测量;物理系统计算;与物理系统耦合的算法;图灵机器;实验神谕;牛顿动力学;测不准原理 PDF格式BibTeX公司 XML格式引用 \textit{E.J.Beggs}等人,《数学》。结构。计算。科学。20,第6号,1019--1050(2010;Zbl 1216.03028) 全文: DOI程序 参考文献: [1] DOI:10.1016/S0304-3975(96)00086-2·Zbl 0874.68303号 ·doi:10.1016/S0304-3975(96)00086-2 [2] Siegelmann,《神经网络和模拟计算:超越图灵极限》(1999)·Zbl 0912.68161号 ·doi:10.1007/978-1-4612-0707-8 [3] Beggs,理论与决策库A pp 155–(2009) [4] Beggs,Springer-Verlag计算机科学讲稿5028 pp 52–(2008)·Zbl 1143.68015号 ·doi:10.1007/978-3-540-69407-66 [5] 贝格斯,《科学统一的新途径》,第二卷:特殊科学与科学统一——逻辑、认识论与科学统一(2009) [6] 内政部:10.1098/rspa.2007.1835·Zbl 1130.68051号 ·doi:10.1098/rspa.2007.1835 [7] DOI:10.1098/rspa.2008.0412·Zbl 1186.68194号 ·doi:10.1098/rspa.2008.0412 [8] DOI:10.1016/j.tcs.2006.10.010·兹比尔1108.68050 ·doi:10.1016/j.tcs.2006.10.010 [9] Beggs,Springer-Verlag计算机科学讲稿5204 pp 33–(2008)·Zbl 1166.68318号 ·doi:10.1007/978-3-540-85194-36 [10] 内政部:10.1016/j.amc.2005.09068·Zbl 1101.68573号 ·doi:10.1016/j.amc.2005.09.068 [11] DOI:10.1098/rspa.2008.0085·Zbl 1152.68444号 ·doi:10.1098/rspa.2008.0085 [12] Balcázar,结构复杂性II(1990)·Zbl 0746.68032号 ·doi:10.1007/978-3-642-75357-2 [13] Beggs,Springer-Verlag计算机科学讲座笔记4978 pp 20–(2008)·Zbl 1140.68022号 ·doi:10.1007/978-3-540-79228-42 [14] Balcázar,结构复杂性I(1988)·Zbl 0638.68040号 ·doi:10.1007/978-3-642-97062-7 [15] DOI:10.1016/S0304-3975(98)00066-8·Zbl 0912.68045号 ·doi:10.1016/S0304-3975(98)00066-8 [16] 巴希拉德,《非哲学》。《新科学哲学》(1940) [17] 巴切拉德,《新科学》(Le nouvel esprit scientifique,1934) [18] Radó,Bell System Tech.J.41第877页–(1962年)·doi:10.1002/j.1538-7305.1962.tb00480.x [19] 内政部:10.1093/bjps/I.3.173·doi:10.1093/bjps/I.3.173 [20] 内政部:10.1093/bjps/I.2.117·doi:10.1093/bjps/I.2.117 [21] 《将军》,《计量基础》(2009年) [22] 亨佩尔,国际统一科学百科全书2(1952) [23] 汉明,数字滤波器(1989) [24] 弗罗达,公理方法,特别是几何和物理(1959年) [25] 内政部:10.1017/CBO9780511564208·Zbl 1205.85001号 ·文件编号:10.1017/CBO9780511564208 [26] 库珀,可计算性理论(2004) [27] 布雷迪,《通用图灵机:半个世纪的调查》,第237页–(1994年) [28] DOI:10.1016/j.amc.2009.04.062·Zbl 1192.68268号 ·doi:10.1016/j.ac.2009.04.062 [29] DOI:10.1007/s11225-010-9254-6·Zbl 1233.03018号 ·doi:10.1007/s11225-010-9254-6 此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。