歌德尔和罗素 （2）自指的说明

上次关于小歌和罗素，我说小歌发现罗素的＂数学原理＂没能逃脱自指（self-referential).

 

这样表达可能引起了误解：）

 

其实小歌的证明并没有任何地方用到＂自指＂以及和它有关的＂悖论＂。

他的证明是纯罗素式的。你应该可以看到大段的 P Q～^《）...：）

自指或者Quine都是第三者试图给我们这些俗人解释的尝试。

小歌的证明指出，当数学逻辑发展到足够成熟，

比如说会＂数数＂时，逻辑推理不可避免的会发生自指。

顺便提一下，欧式几何 实际还没有达到能＂数数＂的成熟程度。

自指是语言中常有的现象，本身无所谓好坏。

在＂数学原理＂中出现，只是说明把数学和逻辑＂神化＂暂时还不行。

老驴网友说是＂无期徒刑＂，我原以为是＂死刑＂：）

 

小歌的天才发现是他看出了罗素理论的隐藏含义。

网友有这个绝妙的比喻：

大师避自指，小歌寻无门！ -youdecide-

 

我理解这就是佛教的＂悟＂，小歌就是悟出了＂数学原理＂的本质。