◇◇新语丝(www.xys.org)(xys.dxiong.com)(xys.3322.org)(xys.xlogit.com)◇◇

　　黎鸣先生，仅是一个科学的“二流子”

　　作者：伍岭

　　八成称呼异己作二流子的人，本身就是二流子，这点不因为他的年纪有多大
而不同。

　　中国社会是倡导言论自由的社会，当然官方是倡导“倡导”说法的。黎鸣先
生有发表“四色定理证明”宣言的自由，但是他不能把自由论证其错误的方舟子
先生命名为“二流子”。方舟子在批评黎先生的声明时使用了大量的科学的实例
与佐证，而黎先生的证明还停留在说说的阶段。谁更像“二流子”，我觉得是一
个很明显的结论。

　　在这里先说说什么叫做“四色定理”，资料来源于维基百科。四色定理指出
每个可以画出来的地图都可以用至多四种颜色来上色，而且没有两个相接的区域
会是相同的颜色。被称为相接的两个区域是指他们共有一段边界，而不是一个点。

　　这一定理最初是由Francis Guthrie在1853年提出的猜想。直到1977年四色
猜想才最终由Kenneth Appel 和Wolfgang Haken证明。他们得到了J. Koch在算
法工作上的支持，这一工作由不同的程序和计算机独立的进行了复检。在1996年，
Neil Robertson、Daniel Sanders、Paul Seymour和Robin Thomas使用了一种类
似的证明方法，检查了633种特殊的情况，这一新证明也使用了计算机。

　　四色定理是第一个主要由计算机证明的理论，这一证明并不被所有的数学家
接受，因为它不能由人工直接验证。人们必须对计算机编译的正确性以及运行这
一程序的硬件设备充分信任。虽然四色定理证明了任何地图可以只用四个颜色著
色，但是这个结论在现实上的应用却相当有限。现实中的地图常会出现两个不连
通的区域属于同一个国家的情况（例如美国的阿拉斯加州），而制作地图时我们
仍会要求这两个区域被涂上同样的颜色。在这种情况下，四个颜色将会是不够用
的。

　　任何定理都是经过受逻辑限制的证明为真的命题，未经证明的命题称为猜想，
猜想不一定为真，并且绝非在人民大会堂演讲就可以证实无误的。黎先生无证明
过程的宣告“破解”和宣称方舟子“二流子”论本身就是伪科学的做法。先生很
大年纪了，或许我下面的比方不恰当，我先为我下面的话道个歉，只是假设，并
非事实。

　　我提出一个命题：“黎宛冰不是黎鸣的亲生女儿，她来自于中秋之夜一颗流
星的梦孕。”我像宋祖德先生惯用的那样对媒体宣告说我已经证明了。大家会问
我要证明的依据，我告诉你们我的证明是绝对无误的，但是我担心版权被窃取，
所以我暂时不能将这个人类学的阶段性证明公之于众。于是有人说我胡说八道，
我指责那些人是中国科学技术事业的杀手。于是有人拿出亲子鉴定结果给我看，
告诉我这种鉴定的误差只有万亿分之一。可我认为“真理总是掌握在少数人手中
的”，你们用的是伪科学，我用的是“一生万物”的哲学，你们是用“二流子”
的行为玷污我这一地位堪比爱因斯坦的伟大哲学家的学术操守。

　　若民科都这种德行的话，E·朗道（Edmund Landau）恐怕会被公认为最大的
科学家杀手。他在哥庭根担任数学系主任的时候，收到大量关于Fermat大定理的
证明。以至于他需要印制一批卡片，上面写着“亲爱的_____：谢谢您寄来的关
于Fermat大定理的证明。第一个错误在__页__行这使得这个证明无效。”

　　我想修改黎老的标题－－《黎鸣先生，仅是一个科学的“二流子”》，表达
我的愤慨。黎先生如今的行为和上文假设中的“我”的行为实则毫无二致。要证
明方舟子错误的方法简单唯一，即是公布证明的过程，而不是借“版权”这类擦
边球话题做乌龟壳；“庞加莱猜想”都不惧版权，黎先生究竟害怕什么。

　　我再讲个关于版权的故事，也是来自《Heroes in My Heart》。阿达玛总是
很惋惜的说一辈子有两件事情特别的后悔。第一个在数学方面，他很早就找到了
Jensen公式，由于没有发现很精辟的应用，一直就没有发表，结果被Jensen抢先
了一步。第二个是物理方面，关于狭义相对论，他也是很早就有了这样的想法，
只不过没有时间深入下去，后来爱因斯坦就发表了。

　　四色定理作为一个已经解决的命题，只要公布新的证明，相信很快就有公论。
我在此还是希望黎先生的证明早日出土，千万别被别人抢先一步而抱憾终身。如
果黎先生是正确的，我会在我的网志上置顶向黎先生道歉。我也衷心的希望会是
我道歉。

(XYS20060811)

◇◇新语丝(www.xys.org)(xys.dxiong.com)(xys.3322.org)(xys.xlogit.com)◇◇