上次关于小歌和罗素，我说小歌发现罗素的＂数学原理＂没能逃脱自指（self-referential).
这样表达可能引起了误解：）
其实小歌的证明并没有任何地方用到＂自指＂以及和它有关的＂悖论＂。
他的证明是纯罗素式的。你应该可以看到大段的 P Q～^《）...：）
自指或者Quine都是第三者试图给我们这些俗人解释的尝试。
小歌的证明指出，当数学逻辑发展到足够成熟，
比如说会＂数数＂时，逻辑推理不可避免的会发生自指。
顺便提一下，欧式几何 实际还没有达到能＂数数＂的成熟程度。
自指是语言中常有的现象，本身无所谓好坏。
在＂数学原理＂中出现，只是说明把数学和逻辑＂神化＂暂时还不行。
老驴网友说是＂无期徒刑＂，我原以为是＂死刑＂：）
小歌的天才发现是他看出了罗素理论的隐藏含义。
网友有这个绝妙的比喻：
大师避自指，小歌寻无门！ -youdecide-
我理解这就是佛教的＂悟＂，小歌就是悟出了＂数学原理＂的本质。
上次关于小歌和罗素，我说小歌发现罗素的＂数学原理＂没能逃脱自指（self-referential).
这样表达可能引起了误解：）
其实小歌的证明并没有任何地方用到＂自指＂以及和它有关的＂悖论＂。
他的证明是纯罗素式的。你应该可以看到大段的 P Q～^《）...：）
自指或者Quine都是第三者试图给我们这些俗人解释的尝试。
小歌的证明指出，当数学逻辑发展到足够成熟，
比如说会＂数数＂时，逻辑推理不可避免的会发生自指。
顺便提一下，欧式几何 实际还没有达到能＂数数＂的成熟程度。
自指是语言中常有的现象，本身无所谓好坏。
在＂数学原理＂中出现，只是说明把数学和逻辑＂神化＂暂时还不行。
老驴网友说是＂无期徒刑＂，我原以为是＂死刑＂：）
小歌的天才发现是他看出了罗素理论的隐藏含义。
网友有这个绝妙的比喻：
大师避自指，小歌寻无门！ -youdecide-
我理解这就是佛教的＂悟＂，小歌就是悟出了＂数学原理＂的本质。