作者GiantPenis (海屌七号)
看板Physics
标题Re: [转录] 不可能的推论现象:以数学计算出知识的 …
时间Sun Apr 19 14:08:07 2009
※ 引述《mgtsai ()》之铭言:
: 建议你可以先去详细看过一次
: 哥德尔不完备定理,以及图灵机停机问题的完整证明
: 之後再回头看这篇文章,才晓得文章要讲的概念为何
: 文中所谈,不单单只是什麽资讯资料知识这种表象的问题而已
不对喔! 请再详细看一次底下节录的内容
-----------------
沃伯特的研究是要为每个过程找出一个严格描述的形式,例如对量的测量、
对现象的观察、对系统未来状态的预测,或是对过去资讯的记忆,而这项过程的
描述基本上是足以独立於物理定律之外。他提出,这些过程具备共同的基础结构:
一定要有装置(不管是实验仪器或是用来模拟的电脑)、关於宇宙的问题一定得
确切、一定要得出答案(不论对错)。因此,他定义出一组称为推论装置的数学
项,用来展示这种普遍结构。
沃伯特证明,在宇宙的任何这类系统中,系统内的推论装置都不能用来确定
系统内的量。因此,拉普拉斯在19世纪出所提出来的「恶魔假说」(把宇宙中每
个粒子的确切位置和速度资料给恶魔,它就会计算出宇宙未来的状态)就滞碍难
行了,因为恶魔也隶属於宇宙的一部份。
这个定理的证明和哥德尔不完备定理以及涂林停机问题的结论很类似,都跟
所谓「说谎者吊诡」有关:要拉普拉斯的恶魔去预测出未来宇宙中,下述事情的
真伪:「如果你对这个问题的回答为『是』,宇宙是否无法成为符合这个答案的
宇宙?」对於恶魔来说,要找出一个正确的是非答案,就像是要去证明「这个命
题是错的」为真。了解整个宇宙的真实现状,了解支配整个宇宙的定律,并且拥
有无限的计算能力,都无助於恶魔找出正确答案。
------------------
『这个定理的证明和哥德尔不完备定理以及涂林停机问题的结论很类似』
是类似的问题,但引证的点有所差异,这一句是重点...
『例如对量的测量、对现象的观察、对系统未来状态的预测,或是对过去资讯的记忆,
而这项过程的描述基本上是足以独立於物理定律之外。』
这就是量子资讯里最重要的基本概念,资讯与资料的基本定义.....
量子资讯有一门专门的领域就是在研究这种『开放』与『封闭』系统的学问
马里兰有一个教授是此领域的专家,每年几乎都会来台湾演讲个一次
如果去参加每年举办的量子资讯的研讨会,大概都很有机会看到他
[ 我以前会去报名赚便当,内容加减听,反正也听不懂 :D ]
其实这问题,在量子资讯已经有人在做很有系统的研究了.........
不过我没有很深入去了解,我对研讨会的便当菜色可能比较有了解 :D~
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 140.116.205.180