作者mgtsai ()
看板Physics
标题Re: [转录] 不可能的推论现象：以数学计算出知识的 …
时间Sun Apr 19 00:48:12 2009
简单解释一下这篇文章的提的问题：
就是，我们人类是否有能力找到宇宙的所有定律？
在文章中，给了否定的答案
要了解为何是 NO，首先可以从图灵机停机问题着手
图灵机停机问题，翻译成现代的电脑相关的话语：
我们是否可以写出一支程式，而这支程式的功能为
判断任一支程式 (因为程式本身就是一堆机器码所组成的)，
是否会结束执行，还是会无穷无尽地执行而不会停止 (例如，进入无回圈的状态)？
表面上看起来，好像不会太难
因为，似乎可以想办法让程式去分析所输入之机器码的结构与执行流程
再从中判断到底最後会不会结束
但，出乎意料的，这个问题的答案是否定的，并不存在这一支程式
只要你写出一支可以判断某些机器码的结构会停止执行，或者会进入无穷回圈状态
但是，一定存在另一些机器码组合，是这支程式所无法判断出来是否会停止执行
这就是着名的，图灵机停机无法判定之问题
* * * * * * * * * *
而这篇文章所述，其中一个重点在於，我们人类本身就存在於这个宇宙之中
所有的物理定律，也必定作用於我们自身
作用於组成我们人类的所有分子原子电子夸克等基本粒子上
当我们在寻找宇宙中所有定律的过程中
当大脑在运作时，脑中的基本粒子亦同时依物理定律运作
类似图灵机停机问题所遇到的状况，当这支程式在判定自己的过程中
会遇上麻烦，导致无法判定 yes or no 的状况
(详细过程请参考停机问题的证明，资讯相关科系中自动机理论这门课有详细证明)
如果，我们的研究对象，是另一个宇宙的话 (就是不包含我们人类自身的另一个宇宙)
或许或许，还有可能，找到真正的 TOE.....
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 116.59.12.220
1F：推 ANUBISANKH:感谢你的解说，这样就比较容易理解了! 04/19 00:54
2F：推 F23:能不能类似推导波函数那样，去逼近本徵函数啊? 04/19 03:04
3F：推 canlin:个人浅见：它想说的是哥德尔不完备性定理，但此定理每个人 04/19 21:01
4F：→ canlin:怎麽理解，怎麽解释，就很分歧了 04/19 21:01
5F：→ serveto:就拿宇宙扩张来说好了，拿扩散方程式来类比；那个偏微分 04/19 21:59
6F：→ serveto:方程式解出来後，粒子在空间上的分布随着时间而有不同形状 04/19 22:00
7F：→ serveto:所以我们现在情形是，如果测量到某时某地的某种状态函数值 04/19 22:01
8F：→ serveto:首先要确定这个测量值是发生在哪个地点(对比扩散起源) 04/19 22:02
9F：→ serveto:以及从最初到现在已经经过多久时间 04/19 22:02
10F：→ serveto:然後才有可能推算最初的情形 04/19 22:03
11F：→ serveto:其实我一直觉得推论计算上可以有两种方向 04/19 22:04
12F：→ serveto:一种是由已知条件计算，另一种是尝试错误，类似蒙地卡罗 04/19 22:05
13F：→ serveto:Monte-Carlo法比较适合让电脑作 04/19 22:06
14F：推 serveto:总而言之，如果没办法反推扩散起源，却想推算宇宙起源 04/19 22:20
15F：→ serveto:那是还不会跑就想学飞 04/19 22:20
16F：→ MOONRAKER:Stop problem是Turing提出的 不特定在Turing Machine 04/19 23:24
17F：→ MOONRAKER:也不是所有的finite machine都可以化为Turing Machine 04/19 23:24
18F：→ MOONRAKER:其实是指一般的finite machine而言 04/19 23:25