: ※ 编辑: uefangsmith 来自: 123.110.129.46 (04/18 12:02) : 推 oolontea:古人的知识远比现在差的多，他们也活的好好的 04/18 13:29 : 推 Keelungman:有趣的文章 :) 04/18 13:44 : → MOONRAKER:(1)Heisenberg:略(2)Kurt Go"del's Incompleteness thm 04/18 23:12 : → MOONRAKER:(3)A. Turing's Stop Problem 04/18 23:12 : → MOONRAKER:至於本文主题的这个thm，比较像Incompleteness 04/18 23:14 : 推 crazybobo:想问若是两个恶魔同时研究 什麽条件让他们无法预测未来 04/19 12:25 : 推 SamLucien:感觉又是在说蝴蝶效应 04/20 02:16 : → SamLucien:指的是开头~ 04/20 02:17 跟Incompleteness引证的点还是有点不同 说白话一点，就是把量子力学的 Operator 重新定义过 这位研究人员沃伯特把数学型式讲成文字形式，变得很复杂难懂 把以上文字重组成数学形式，大概是以下的概念 第一段： 　　　　沃伯特的研究是要为每个过程找出一个严格描述的形式，例如对量的测量、 　　对现象的观察、对系统未来状态的预测，或是对过去资讯的记忆，而这项过程的 　　描述基本上是足以独立於物理定律之外。他提出，这些过程具备共同的基础结构： 　　一定要有装置（不管是实验仪器或是用来模拟的电脑）、关於宇宙的问题一定得 　　确切、一定要得出答案（不论对错）。因此，他定义出一组称为推论装置的数学 　　项，用来展示这种普遍结构。 要定义的就是量子力学的Operator的普适性 下一段： 　　　　推论装置可以在一组可能存在的宇宙中运作。举例来说，我们的宇宙（也就 　　是我们这个宇宙所经历过的所有时间和空间）是所有可能存在的宇宙中的一组， 　　这些宇宙都由相同的定律所支配。在沃伯特的分析中，这些定律不需要特别指定， 　　重要的是各种可能的推论装置都要对每个宇宙的问题提供解答。在和我们宇宙相 　　似的宇宙中，或许就有一套推论装置牵涉到一组你明天中午会使用的电子磅秤， 　　以及届时和你质量相关的数据。人们或许就是其中一组推论装置。 定义其实所谓的Operator也具有其本徵状态涵数，而所谓的量测 其实是两状态函数间的coupling... 最後两段： 　　　　沃伯特证明，在宇宙的任何这类系统中，系统内的推论装置都不能用来确定 　　系统内的量。因此，拉普拉斯在19世纪出所提出来的「恶魔假说」（把宇宙中每 　　个粒子的确切位置和速度资料给恶魔，它就会计算出宇宙未来的状态）就滞碍难 　　行了，因为恶魔也隶属於宇宙的一部份。 　　　　研究人员早就已经证明出特定物理系统的不可计算性，沃伯特指出，他得出 　　的结论则适用得更广。在他的结论中，不需要假设任何物理定律，并且对於推论 　　工具计算能力的唯一限制，就是它必须存在於所讨论的宇宙之内。除此之外，结 　　论不仅可以用来观察目前的状态，并且检验过去的记录。 如果你能依照量子力学数学形式把第一段跟第二段明确定义出来 你就自然可以在数学公式看出所谓量测的极限... 而这是用广义的物理量来做Operator定义，自然如他所说，不用假设任何物理定律... 其实阿！这位沃伯特应该去参加个几场量子资讯的研讨会，一定会收获很多... --

※ 发信站: 批踢踢实业坊(ptt.cc) ◆ From: 123.204.133.5