◇◇新语丝(www.xys.org)(xys.dxiong.com)(xys.3322.org)(xys.xlogit.com)◇◇ “哲学乌鸦”下战书 自杀作赌注挑战方舟子 2006年08月15日信息时报   宣称破解顶级数学难题遭质疑   “如果破解四色定理失败,黎鸣先生愿按照协议,文明地进行自杀;如果破 解四色定理成功,方舟子先生愿按照协议,文明地进行自杀……” “哲学乌鸦” 之称的黎鸣先生曾经以《西方哲学死了》震惊四座,8月9日在自己博客又抛出了 这份“耸人听闻”的生死对决协议,回击学术打假斗士方舟子的质疑,从而让一 场学术论战越来越演变成文人相轻的闹剧。   1 道德经能解顶级数学难题   其实,黎鸣方舟子之争源于其博客文章《感谢老子,我发现了———“四色” 难题终获简洁而绝妙证明》。4月20日,黎鸣在博客上放言自己可以运用三元逻 辑理论,能够清晰证明“四色”难题,即四色猜想(与著名的费马最后定理和哥 德巴赫猜想被称为是世界近代三大数学难题),而证明四色定理就是来源于老子 “三生万物”构想。“在老子和康德思想的共同启发下,我发现了绝妙的证明方 法,不需要任何其他工具,包括电子计算机,而只需要一支笔,几张纸,我就能 既简洁而又明快地作出完完全全、漂漂亮亮的‘四色’定理的证明……”   而至于为什么至今没有公布研究成果,黎鸣说是担心被剽窃,所以不敢轻易 发表论文,甚至把为证明所演算的所有手稿都销毁。而且,他一直在等待一种可 供信赖的方式来发表研究,如果时机成熟,会以出书形式发表自己对“四色猜想” 的所有证明过程。   2 打假斗士质疑黎氏证明法   但是,让黎鸣感到无法理解的是,自从公布发现几个月以来,不仅没有引起 相关科研机构以及学术界关注,还招来不少网友和专家的讽刺。而且,著名的学 术打假斗士方舟子随即发表博客文章《中国哲学狂人成了数学狂人?》,对中国 哲学狂人黎鸣“证明四色定理”的言论提出质疑。   方舟子说,四色难题早在1976年由美国数学家哈肯与阿佩尔借助计算机证明, 黎鸣所说的“电子计算机获得的证明是难以让人信服的,人们无法检验计算机所 做出的100亿次以上的判断”显然是误把计算机所做的运算次数当成证明步骤。 而且,黎鸣说四色定理证明来自老子“三生万物”猜想,而这个猜想“就是真理 中的真理,至高的真理。”何以见得呢?直到今天,无论自然科学中的物理学、 基因密码学等,还是社会科学中的政治学、经济学、法学、历史学、社会学等等, 抑或心理科学,无不在用大量的实例证明了老子的“三生万物”猜想的真理性。 【方舟子按:这句疯话是我引用黎鸣的,怎么成了我说的了?】哲学狂人看来对 常人的逻辑、证明是不放在眼里,最好还是敬而远之。   3 贴生死协议要求文明对决   面对方舟子的质疑和言语挑逗,黎鸣立即在博客中抛出“生死决斗书”,要 求与方舟子进行一场文明的生死对决。他说:“为排除网友们之间无谓争吵,还 是让我与方舟子先生个人之间进行文明的生死对决吧。为了表示我的坚定的自信, 也同时为了表示方舟子先生的伟大而无所不知的科学全才的‘英明’,我愿意与 方舟子先生签订如下的生死对决协议。除了这种看来‘极端’的做法,我的确不 知道还会有其他什么办法,才能消除今天的这些实在无聊之极,丑陋之极,而且 更愚蠢之极的口水战。”而且,黎鸣要求方舟子先生立即作出明确回答,“如果 不敢或不愿回答,那就请管住您那张随意诬蔑别人的‘二流子’的嘴,免得既要 被法院判处罚款,公开向人道歉,还不得不以接受生死对决的方式来证明自己伟 大的‘英明’。”   同时,自称黎鸣学生的网友“韩晗”在网上发表博客文章,其中说道:“对 于学术的严谨性,黎先生在学术界可以说是众口铄碑。现在黎先生解决出来了, 我们不妨擦亮眼睛看看,三思后再评价,何必大张旗鼓,张口就骂?说实话,我 是希望方舟子闭嘴的,但是怎么闭嘴,我想还不单单是媒体所说的,防止学术打 假冤案,从体制抓起。而是能够从本质上让我国的科学形成规模,形成健全的评 价机制,一个科研成果,不是某些人独裁说了算的;同样,一个科学家的价值, 更不是随便找个人就可以定论的。”   4 网友呼吁公布成果正视听   由于黎鸣和方舟子在博客中来回“论战”,自然而然在网友中掀起不小波澜, 众多网民呼吁黎鸣应该尽快地把他的证明发布在博客上。网友悠悠说:“尽早公 布你的证明,在博客上发表就可以,所有人都可以证明你的伟大,证明你是原版, 而不必担心有人剽窃,你也说过你不是沽名钓誉之人,我觉得你也不一定非要有 出版社或杂志给印成铅字再一点点稿费才发表您伟大的证明吧?”   同时,网友王江火发表博客文章说,黎鸣和方舟子之争折射出中国人的一大 固疾——文人相轻。知识分子在学术上进行争鸣有利于净化学术空气,推动理论 的深化思维,本身是好事,但如果发展到相互人身攻击、漫骂,甚至发展到居然 采取生死对决,实在是太不文明。“我们应该多鼓励国人的创新行动,而不是稍 微有点错误就泼妇地进行谩骂。这样,无论黎鸣先生对四色定理的证明是否有误, 我们首先应该肯定的是这种精神,至于证明是否正确,完全可以由历史和实践去 检验,干吗毫无根据地进行攻击呢?”   四色猜想如何产生   ●1852年,伦敦大学弗南西斯·格思里与在读大学的弟弟格里斯发现, 每幅地图都可以用四种颜色着色。他们开始试图用数学方法来证明,这便是“四 色猜想”的最早提出。   ●1852年,格思里的弟弟请教他的老师、著名数学家德·摩尔根,摩尔 根也没有能找到解决这个问题的途径,于是写信向自己的好友、著名数学家哈密 尔顿爵士请教。但直到1865年哈密尔逝世,问题也没有能够解决。   ●1872年,英国当时最著名的数学家凯利正式向伦敦数学学会提出了这 个问题,于是四色猜想成为世界数学界关注的问题。   ●1878~1880年,著名的律师兼数学家肯普和泰勒两人分别提交了 证明四色猜想的论文,宣布证明了四色定理。   ●1890年,数学家赫伍德以自己的精确计算指出肯普的证明是错误的。 不久,泰勒的证明被人们否定。   ●1913年,伯克霍夫在前辈研究的基础上引进了一些新技巧。美国数学 家富兰克林于1939年证明了22国以下的地图都可以用四色着色。1950 年,有人从22国推进到35国。1960年,有人又证明出39国;随后又推 进到了50国。而这种推进仍然十分缓慢。   ●1976年,美国数学家阿佩尔与哈肯在美国伊利诺斯大学的三台不同的 电子计算机上完成了四色定理的证明。   方舟子:福建云霄县人,被称为学术打假斗士。1990年毕业于中国科技 大学生物系后赴美留学,从事互联网开发、写作和兼任美国生物信息公司的咨询 科学家,2000年创办中文网上第一个学术打假网站“立此存照”,揭露多起 科学界、新闻界等学术腐败现象。   黎鸣:研究哲学,江西南昌人,人称“思想狂徒”、“哲学乌鸦”。196 1年毕业于江西大学物理系,后进入中国科技大学研究生院控制论与系统工程专 业。长期进行逻辑学、控制论、文化人类学等方向的研究。(袁炯贤) (XYS20060816) ◇◇新语丝(www.xys.org)(xys.dxiong.com)(xys.3322.org)(xys.xlogit.com)◇◇