我尝试推导玻恩规则,该尝试出现在 Itamar Pitowsky 的第一本纪念书中(Vaidman 2012)。我只能通过阅读 Itamar 的论文(Pitowsky 1989、2003、2006;Hemmo 和 Pitowsky 2007)来猜测他对我的推导的看法。虽然我们的结论可能不同,但我们似乎对哪些量子特征很重要达成了一致。在本文中,我概述了玻恩规则的各种推导。在关于这个主题的众多论文中,我发现了对特定方法的深入分析,在这里我试图考虑一个更广泛的背景,以阐明玻恩规则推导在量子理论中的地位。我希望这将引发更普遍的分析,最终达成共识,为量子理论的基础奠定坚实的基础。玻恩规则诞生于量子力学诞生之时。它在解释经典物理学无法解释的实验结果方面起着至关重要的作用。玻恩规则是关于量子测量结果概率的陈述。这是一种操作意义,它对应于
1. 简介 这一讨论源于两个基本问题:什么是物理上可计算的?图灵可计算性和物理可计算性之间是什么关系?由于图灵可计算性是可计算性理论的核心力量,前一个问题常常用后者来提出(例如,Arrighi 和 Dowek 2012 ;Cotogno 2003 ;Hogarth 1994 ;Shagrir 和 Pitowsky 2003 ;Ziegler 2009 ,以及无数其他人)。Piccinini(2011 年、2018 年)对物理上的丘奇-图灵论题的讨论遵循了这种格式。他认为,如果可计算性概念与对有限观察者在认识论上有用的东西联系起来,那么物理上的丘奇-图灵论题的一个适度版本可能成立。这个谦虚的物理丘奇-图灵论题指出,图灵可计算的内容充当了物理可计算内容的上限,前提是给定一些物理计算的限制。这些限制旨在将讨论限制在对有限观察者可能具有认识论用途的物理计算上。虽然谦虚的物理丘奇-图灵论题似乎很有道理,但我们将看到,皮奇尼尼用来论证这一论题的关于什么算作认识论有用的物理计算的说明需要更明确的概念基础。特别是,我认为它回避了关于人们认为哪些物理过程是可能的计算操作的问题,并隐含地用
根据QBISM,量子状态,统一的演变和测量操作的摘要都被理解为使用形式主义对代理商的个人判断。同时,量子测量结果被理解为同一代理人的个人经验。Wigner的朋友的难题,其中两个代理表面上对是否有测量值有不同的说明,因此对QBISM没有任何悖论。的确,Wigner的原始思想实验的解决是Qbist思维发展的核心。本文的重点涉及对Wigner难题的两个非常有启发性的修改:一个,Frauchiger和Renner最近的无关定理(Nat Commun 9:3711,2018),另一个是Baumann and Brukner和Brukner的思想实验(量子,逻辑,逻辑,逻辑:Itamar pitows of Itamar Pitowsky,springsky,Commer,2020年)。我们表明,一旦朋友和威格尔都将量子理论的个人用途理解为平等基础的代理人,这些作品中强调的悖论特征就消失了。Wigner对他朋友的行动随后从朋友的角度开始成为朋友对Wigner采取的行动。我们的分析基于一种量子哥白尼原则:当两个代理人相互采取行动时,每个代理都具有双重作用,作为对方的物理系统。Quantum理论的使用者没有比其他任何人更有特权。与Wigner原始论文的观点相反,在“暂停动画”中都不应将其视为。从这个角度来看,QBISM带来了一个全新的观点,可以理解Wigner的朋友思想实验。