手机版 | 登陆 | 注册 | 留言 | 设首页 | 加收藏
当前位置: 网站首页 > 世界科技全景 > 数学家 > 文章 当前位置: 数学家 > 文章

洪加威

时间:2019-06-21    点击: 次    来源:网络    作者:佚名 - 小 + 大

洪加威

   

初露才华

   

早在中学时代,洪加威在数学上就已才华绽露。

那是在刚上初二的时候,一天,他看到上高中的哥哥在解这样一道数学

题:两个正方形,一大一小,问切成几块后能拼成一块大的正方形。看到哥

哥和他高年级的同学都在为此而冥思苦想,洪加威好奇地拿来题目,不料很

快就把它做了出来。大家的夸奖并没使他中断思考,他又在想:到底什么样

的两块图形能够切成有限块互相拼来拼去呢?

当时的《数学通报》上经常刊登一些数学难题征解,他非常喜欢动脑筋

去解几道难题,随着本领的渐渐增长,他终于把上面的问题的一般性定理独

立做了出来。

上了高中,洪加威更迷上数学了,这里面有诗画一般的意境,深入进去

会使人流连忘返。他开始试着把自己想出的一些定理加以证明(实际上前人

已证明),然后就写成一篇篇学术论文,不料有些文章还被当作学生习

作在杂志上发表了。

数学成绩的突出并没有使洪加威因而影响全面发展,他的兴趣太广了。

下棋、拉琴、作曲、演戏以至于集邮、航模,他简直无一不爱。各门功课的

成绩都非常出色,使得他的中学老师对他格外器重:好好学,不久的将来

一定能成为科学家的。是的,洪加威对此也充满了信心。

1955 年秋,洪加威以优异的成绩考上了北京大学数学系。从此,他告别

了父母、老师,告别了培育他  年的母校南昌一中,来到这座向往已久的科

学家的摇篮,美丽的燕园。从小就活泼好动的洪加威,在这里更是如鱼得水,

他身体健康,性情爽朗。多才多艺。他是北大民族管乐队的二胡演奏手,绘

画和书法也很不错。在学习方法上,他更喜欢标新立异,看数学书,别人仔

细看定理的证明,而他却把一条定理都当作习题做出来。出色的学习成绩,

很快引起了老师们的注意和好评。

到了高年级,系里开始分专业了,洪加威专攻数理逻辑和计算机专门化

这个年轻的数学分支。数理逻辑课上,洪加威的才华受到系主任段学复和丁

石孙老师的赏识,他们觉得像他这样有才能的学生在经历中是不多见的。过

了不久,计算机程序理论课程也开设了,洪加威第一次领略这门年轻学科的

风采。当时在这个领域的研究,我们和日本是大体上同时起步的,以洪加威

当时的状况,如果继续深造,取得突破性的成果是可以预期的。然而,1958

红专辩论开始了,他作为白专典型受到重点批判。从此,他的成

才之路荆棘丛生,为了实现学用一致的愿望他付出了整整 18 个春秋。

   

种种考验

   

1960 年,23 岁的洪加威在北大毕业了。这位难得的高材生,即没能到科

研部门,也没能留在高等学府,而被分配到北京市计量管理处标准化科当科

员。那时,丁石孙是反右倾运动重点批判对象,段学复实际上成了一个

挂名的系主任,对洪加威的分配,虽深表惋惜,但都爱莫能助。

刚参加工作的洪加威还是想认认真真于点象样的事情。他认真学习了许


多政治理论著作,决心走出一条了解和认识社会的新路。他打起背包,主动

到京郊各地去搞实地调查。没过多久,他就根据实地了解,写出了《北京昌

平县小农具质量情况的调查》、《北京市皮、布鞋质量情况的调查》等 10

多篇报告。几个月后,《人民日报》发表了一篇重要社论《大兴调查研究之

风》,洪加威的实践得到了证实。

在市计量处积极工作的同时,对于研究数学理论的渴望,有时又使他禁

不住在同事们喝茶聊天的时候抽空读点专业书,演算几道数学题。不料这件

事引起了旁人的不满,想抓紧时间多学点东西却被指责为种自留地,闹

得他很苦恼,名声还挺。他曾提出请求调换一个和专业接近点的工作,

但在当时那种科技干部单位所有制的条件下,他也只得照样天天干着近

打杂的工作。难道从此就这样离开心爱的数学了?洪加威心里实

在想不通,他感到茫然。

1962 年,广州会议后国家制订的科研十四条下达了,在职人员有报

考研究生的机会。洪加威满怀信心,跃跃欲试。深谋远虑的丁石孙老师,早

就认为洪加威去搞计算机领域最能发挥他的特长,就介绍他去报考吉林大学

王湘浩的研究生。王教授是搞计算机科学方面的权威,洪加威是多么希望能

投考这个专业啊!他马上向领导提出请求,但得到的答复是不能去外地上学,

要考只能考北京的。但北京当时并没有招收这方面专业的研究生啊,这不是

明摆着不让考吗?这样就放弃吗?不,改考别的专业。他立即找到了原系主

任段学复,段先生很同情洪加威当时的处境,鼓励他改学群论。可洪加

威原不是学习代数专业的,离考试期只有两个月了,他只有奋力拼搏才有希

望。白天上班,只能利用早晚攻读,即使乘公共汽车他也争分夺秒看几页

……这一年招考研究生是解放以来最严格的一次,题目很难。段先生为能

让洪加威有回旋余地,特意出了比规定多一倍的题目供部分选做,出乎意料

的是,在指定的考试时间里,洪加威竟出色地答出了全部考题,终于成了段

学复的研究生。然而就在同时,他却因患肺结核而病倒了,一个新的考验又

降临了,为了能保全这个难得的学习机会,洪加威决定抱病从师。

群论,是代数学里的一个重要分支。段学复教授早年曾在加拿大和美国

留学,在有限单群方面颇有建树。洪加威在很短的时间里就读完了段先生指

定的代数基础课程,接着他开始攻读群论方面的英文专著《有限群的模表示

论》。一年以后,他参加了由段教授和王莒萼芳老师主讲的一个群论讨论班,

尽管四清运动使讨论班受到影响,但它还是始终坚持下来了。良师益友

加个人勤奋,洪加威登堂入室,很快就到达了这个领域科研的前沿。1965 年,

他完成了一篇数学论文《关于 P(KP+1)(KP+2)阶的单群》,它的水平已

相当于国外一篇很好的博士论文。13 年后,这篇论文被评为全国科学大会重

大贡献成果奖。然而,洪加威当时对这项工作总感觉有点不过瘾,他希望能

搞点更具有开拓性的和更有思想性的工作。接着,他相继又写了第二篇、第

三篇论文。使段学复先生多年感到遗憾的是洪加威的第三篇论文,这篇论文

里涉及一个找到世界上第六个零散单群问题,因为前五个零散单群是本

世纪以前人们发现的,段先生十分了解当时洪加威的研究进展,觉得如果再

深入一步成功大有希望,然而人为的因素终止了这项研究。不久终于让国外

同行抢先找到了第六个零散单群。

1965 年底,洪加威卓有成效的研究工作中断了,他还是被专业不对口的

原单位要回。疑惑、苦闷、忧虑。3 年多的艰苦努力结局竟还如此……洪加


威的肺结核加重了,无情的手术刀切除了他的右肺下叶。接着,摧毁科学文

化的风暴席卷而来,使他更加陷入困境。

1969 年,洪加威被下放到京郊南口人民公社七间房大队接受再教育

由于他机敏好学的特点,很快竟当上了大队的赤脚医生和公社的农业技术

员。在这个广阔的天地里,再去研究群论是没有希望了,但不久,推广优选

法的热潮把他吸引住了。搞不成群论,研究一下应用数学总可以吧!当时,

优选法中的一个基本的问题:黄金分割法为什么是最优的问题始终没有人能

解决。洪加威细心研究了这个领域,他一面劳动,一面冒着很大的政治风险,

利用工余搞研究。很快,在极缺乏资料的情况下,凭借他十几年的雄厚数学

基础,黄金分割为什么最优的问题被彻底解决。他把写好的《关于一维优选

的理论研究》一文寄给了当时正在搞优选法推广工作的华罗庚教授,华罗庚

看到后很希望把他调到自己身旁工作或安排他到有关研究所工作。然而,在

那种动乱岁月中,像他这样一面学生时代的白旗,文革期间他的父亲

一位老工程师,也因莫须有的罪名被赶回原籍,又使他蒙上家庭成份不好

的阴影,他自然被种种理由拒之门外。

几年里,洪加威为了能有一个用他所长的工作岗位,四处奔波,想尽办

法,然而所有单位的回答都是不要。难道我的事业就此为止了?此刻,

他开始感到彷徨、沮丧,生活已是第三次向他开了大玩笑,他似乎不再抱什

么希望,因为希望的结果往往带来更大的失望。此时的洪加威,从一个对国

家民族,对自己都充满希望的热血青年,仿佛一下子变成另外一个人。此后,

画画、下棋、音乐,甚至烹调、缝纫成了他发挥聪明才智的地方,最富于创

造性的年华就这样一天天地消磨过去了……

平静的生活使他渐渐冷静下来,他时常感到空虚和不安。后来他想,作

为一个普通的中国人,一个受国家培养多年的知识分子,总应该为国家、民

族做点最有价值的事,站着等,不如干着瞧。这样,一旦有用武之地,也不

致悔恨自己磋跎岁月。即便等不到那一天,在我们临终的时候也可以对自己

说:我一生虽无做成什么大事,但对生我养我的祖国母亲,也不能算是交了

张白卷吧。从此,他更加发愤了。为了进城求知识,他只得经常借宿同学家,

有时干脆躺在西直门火车站的长椅上过夜。为了想一个问题,他甚至可以几

天几夜不睡觉。十几年没有一个固定专业,他不得不在数学许多分支里东碰

西撞。然而,这却激励了他,磨炼了他,他期待着有朝一日能在事业中大显

身手。

   

XY 语言的研制

   

1974 年,洪加威终于结束了  年之久的下放干部生活,来到刚成立

不久的北京市计算中心工作。在这里,尽管他在理论研究方面的优势难

以施展,但他很快就在计算机应用方面发挥了巨大的创造才能。

事情是这样的,70 年代初,我国开始生产一种加工精度很高的数控机

床。经过几年这一新产品就已遍及全国各地,成为各工业部门用来制造模具

和加工精密零件的重要工艺装备。然而,这一先进装备在当时却拖了我国模

具生产的后腿。

原来,所谓数控机床就是利用数字来控制机床的运行。每当生产一

个零件时,工人们必须根据图纸进行计算,再把计算数据做成一卷凿着一个


个圆孔的纸带装入一台光电机里,它就能指挥机床自动加工零件。然而,

这种靠手工编制加工程序的方法非常麻烦,有时工厂为了编出一套模具程

序,组织五六十人会战三四个月,但是在机床上一加工,零件却成了废

品,原来不定是谁又计算错了!难怪有的老工人说:我国线切割机床的切

割速度是世界第一流的,但手工编程却是老牛破车!

为了解决当时我国模具生产直接面临的老大难问题,看来只有请计

算机出马了。

北京、上海等许多拥有计算机的研究部门、大专院校都投入力量开展了

这项应用计算机进行自动编程的研究。所谓自动编程,就是要先给电子计算

机编制一个软件,只要把模具图纸的形状、尺寸告诉它,这个软件就可

以指挥计算机自动地计算、编程,并输出一条控制模具加工的纸带。当时在

美国已有一套大型数控语言——APT 语言,但直接在国内使用它还有许多障

碍。因此,许多研究部门都想把 APT 语言搬用一部分内容,经改造用于线切

割机的自动编程。

北京计算中心也投入这项研究工作。外地取经、下厂调查,大家从不同

渠道,热火朝天地搞起这个迫在眉睫的课题来。

洪加威在实际接触中感到,美国的 APT 语言尽管是一种高级数控语言,

但对我国线切割行业的实际问题存在着许多不便之处,它在设计上也有许多

缺点。我们何必都只在 APT 语言上做文章呢?洪加威心想,应当根据

面临的实际情况,搞一个新的语言系统。

他根据自己的初步想法拟定了一个方案,但刚一提交就被否决了。

自己搞一个语言系统难度太大了,还是借鉴美国的 APT 型照搞一个

吧!有人说道。

少年时代就形成的强烈创新意识没有使洪加威就此罢休。不,要搞就

应创新,要自己设计搞中国式的。他决心已定,宁可单枪匹马,也要大干

一场。

1976 年深秋,洪加威在一间矮小的地震棚里,开始了紧张的设计工作。

搞一个应用系统的软件,对一个人来说的确是件异常艰巨的任务。在这

项工作里,洪加威多年养成的注重方法的特点得到了充分的发挥。新起

炉灶,重新设计一个像 APT 那样的大型数控语言,至少要花费几十个人一年

的工作量,这条路显然行不通。如果在某种现成的算法语言上简单地添一点

内容,来实现自动编程的功能,工作量虽小,但它的功能不强,工厂的同志

用起来也很不方便。洪加威苦心积虑,终于想出了一个两全其美的办法。

当时国产计算机上使用一种科学计算语言——BCY 系统,他十分巧妙地

给这套语言系统做了一个大手术。打个比方,如果把计算机比作一个花

盆,把原有的 BCY 语言系统比作生长在盆中的一片大的仙人掌,那么,洪加

威设计的这种线切割语言就好像是嫁接在仙人掌上的蟹爪莲,由于它可以从

母体中吸收更为丰富的营养,所以它的枝叶更为繁茂,它的花朵兼有二者的

特性。为了使这套语言最精练、最有效,洪加威用上了一切可能的方法,夜

以继日地赶写着。

仅仅一个月,手编程序就完成了。下一步要在计算机上进行调试,对这

套程序做逐项检查。然而,当时计算中心的计算机总是忙得昼夜运转,像他

这样的单干户,就更难有足够的机时。出于无奈,洪加威马上想出了一

高招,他调试之前设计好一个通用的模拟程序,利用别人停机做准备


工作的空隙,就能很快地上机打出一卷他所需要的数据,从这些数据纸带上,

就能方便地获得调试手编程序所需要的一切。这巧妙的方法竟使调试应花时

间奇迹般的缩短了。

 个月之后,一种高效的国产线切割语言诞生了。根据特征,洪加威给

它起了一个响亮的名字——XY 语言。

1976 年以前,我国计算机基本用于科研,XY 语言是第一个被广大工厂、

工人所接受的直接用于生产第一线的应用软件。洪加威在设计语言时考虑

到,要想迅速使自己的研究化为生产力,就必须在语言的易于普及上下大功

夫。因此他在设计时将大量难度较大的专门知识隐藏在软件内部,同时

采用中文和拼音描述模具。这种深入浅出的处理便于记忆,易于书写,

语言精练,容易掌握,功能极强。投入使用后,工人们反映:这个语言降低

了线切割编程人员文化水平要求,清除了对计算机的神秘感。一般具有初中

文化程度的人,学上  天,就能掌握。

如同一篇结构严谨、结论漂亮的数学论文,XY 语言中倾注了洪加威那精

湛的数学造诣和良好的美学修养。因此,XY 语言一诞生就显示了它的巨大生

命力,受到生产部门同志的一致称道。首先,众多的老大难模具编程问

题被解决了。某工厂过去想生产一种人形杠杆,由于它形状奇特,几次

手算都算不出来,先后拖了两年之久,但 XY 语言一上马,这个技术难关只消

半小时就被迎刃而解了。一些过去认为形状古怪难以计算的零件,现在却能

在很短的时间内用这套语言编出程序。同时,由于在编写上极为严密准确,

使得这套语言体系所有语句都准确无误。多年使用 XY 语言的同志都知道,凡

计算上出了毛病,一定是计算机硬件系统出了故障,因为软件绝无问题。这

套语言投入使用后的近 10 年里,竟不需要修改任何一条指令,也没有碰到一

个解决不了的线切割编程问题,这在同行业中是极罕见的。它足以反映洪加

威当初设计时的良苦用心。1980 年一位美籍华人软件专家回国时看到 XY 

言及其应用高兴地说:想不到,祖国在这方面有这么高的水平。美国耶

鲁大学计算机科学系一位教授 1984 年回国看到它时说:今天把这种语言开

发到美国去都是很受欢迎的。

科学技术一旦被开发出来,交给生产者掌握,就会迅速化为生产力。计

算中心和北京机电学院的许多同志,为了能让 XY 语言更好地服务于生产第一

线,开展了大量艰苦、细致、深入的工作。

试用、扩充、移植、推广,一期期 XY 语言培训班之后,回报的是祖国各

地生产第一线同志们一封封热情洋溢的感谢信。

这个语言解决了我厂生产关键,我们不再依靠进口,节省了大量外

……”

工艺的精度问题解决了,全厂职工向你们致敬

洪加威他们的科研成果,经过  年多的开发、推广工作,今天已成为我

国模具行业的关键技术,创造着巨大的物质财富,有着深远的社会效益。有

人算过一笔账,一套模具本身价值在千元以上,每套模具又要生产出千千万

万个零件,每套模具产生的直接经济效益以  万元计,9 年来其经济效益也

 100 亿元以上。这项成果终于在 1985 年获国家级科学技术进步二等奖。

XY 语言的研制成功,并没有使洪加威停步不前。他,又在思考着更新的

研究课题。十一届三中全会召开以后,党制定了一系列关于大力发展科技、

实行对外开放的政策,像春风吹遍了祖国大地,也吹暖了洪加威那颗曾一度


饱受苦闷和失望的心。少年时代立志成为优秀科学家的梦想又在向他招手,

他鼓起勇气,决心攀登计算机理论的世界高峰。

   

走向世界

   

1978 年初,美籍华裔著名科学家王浩教授来华访问,经丁石孙介绍,王

浩了解了洪加威的工作能力,回国后他把这些情况及洪加威早年在《中国科

学》上发表的两篇论文介绍给国际计算机理论界的权威——多伦多大学的柯

克教授。第二年 10 月,洪加威受柯克邀请,以客座教授的身份去多伦多和美

国研究和讲学。正是这次北美之行,洪加威以他那机智幽默的性格和极出色

的工作,给北美许多科学家以及整个计算理论界留下了难以忘怀的印象。

在十二届计算理论会议上,洪加威作为第一个中国代表以三个中国人

的故事深入浅出地介绍了他出访后的第一篇成果《关于决定性空间完全性

问题》。在这之前,理论界的许多学者找到了时间的完全性问题,非决定性

空间的完全性问题,但一直没有找到决定性空间完全性问题。报告一结束,

洪加威和他的故事立即成为会议间学者们的话题。几十位著名科学家争先前

来道贺。

这真是三天会期间最好的报告。

听你的报告真是一种享受。

不认识他的人都在问:这个报告人是谁?你认识吗?太好了!

大会闭幕这一天,洪加威一下子接到了美国许多大学的邀请。

斯坦福、麻省、康乃尔邀他去演讲。

伯克利、罗彻斯特邀他去教学。

卡内基一梅隆大学邀他去研究。

于是,会场上纷纷传说:三个中国人的算法已经被 10 个大学请去工

作了。

但是,最让洪加威高兴的,却是会议主席米勒告诉他的话:ACM 过去

跟中国的联系太少,以后一定要特别加强。

洪加威在 ACM 会议上宣读的第一篇论文,虽然赢得国际学者的普遍好

评,但他真正的重大成果还在后面。在多伦多做研究时期,使他有机会了解

计算理论界的最新动向和一系列重大课题。纵观这一领域几十年来的风云变

幻,一个重大的突破性课题在他胸中逐渐酝酿成熟。

1980  10  13 日,在美国纽约州西诺求斯市,第二十一届计算机科学

基础会议隆重召开。这是国际上理论计算机科学中最重要的会议之一,具有

最长的历史和最高的水平。这天到会的代表,包括许多第一流的著名计算机

科学家,卡尔普、罗宾,还有柯克教授,他们都带来了最重要的成果。

10  15 日,洪加威带着自信的微笑走上这庄严的国际讲台。600 多人济

济一堂,聚精会神地听着这篇具有开创性的学术报告《计算的相似性与对偶

性原理》。

自从图灵论题提出以来,我们知道,不同的计算模型是等价的。但我

最近得出,任何合理模型所使用的并行时间、序列时间和存储空间在本质上

都是一样多的,即具有所谓的相似性……”洪加威用流利的英语做了开场白。

轰鸣般的掌声中洪加威结束了讲演。多少计算机科学家用敬慕的眼光看

着他,他把现代计算机科学的基础——图灵论题,从本质上向前推进了一步。


真是太漂亮了,一个惊人的报告!著名学者鲍罗廷感慨地说道下届大会

主席罗森伯向洪加威表示祝贺时说:你的报告不仅在成果上是杰出的,在

报告艺术上也是超群的。加州大学卡尔普教授在给洪加威的一封信中写道:

听你杰出的报告是一种巨大的享受,你的研究是计算机复杂性理论中迄今

所得的最杰出的成就。

为了说明洪加威这篇论文究竟有什么重大意义,我们还要从图灵论题谈

起。

千百年来,数学家们都确信这样一个事实,凡是正确的数学命题,就一

定能找到证明的方法。然而,德国数学家哥德尔在 1931 年发表了一篇爆炸性

的论文,它证明了有些正确的数学命题是不可以被证明的。这个结论把一个

重要的数学难题摆在了人们的面前:怎样判断一类数学问题是机械可解的,

或者说能通过有限的固定步骤得到解决?正当许多大数学家一筹莫展之时,

英国一位 24 岁的数学家图灵异想天开地搬出了一种理想计算机,并且说,

凡我这台计算机能算出的,就是可计算的,凡我这台计算机算不出的,就是

不可计算的。这就是赫赫有名的图灵机。那么是不是一切判断能否计算

问题非要在图灵机上定义,用别的计算模型就不能定义呢?接着,图灵提出

了这样一个论题:只要在一个模型下可以计算,那末在别的合理的模型

下也可以计算,你能算的我也能算,你不能算的我也无可奈何。这便是日后

被称为计算机科学基石的图灵论题。

然而,图灵只考虑任何数学问题在理论上是否可计算,却没有研究实际

当中能否计算的问题。换句话说,即使现代最快的计算机,也仍得考虑时间

的因素。举个例子来说,写出 26 个英文字母的全部排列,即使一架机器每秒

能写一亿个排列,也需要好几亿年才能完成。由此可见,计算问题光考虑能

否计算还不行,还得讲点效率,这便是当今计算理论界最热门的复杂性

问题。

洪加威刚刚跨入这个领域时,正值理论界群星荟萃,百家争鸣的年月。

许多有名望的学者都在不同侧面、具体问题上探索着复杂性理论。他没有把

精力耗费在别人的成果上做些添枝加叶的工作,而是以高屋建瓴之势,洞察

到了复杂性理论关键问题的所在。他把图灵论题推进了一大步,提出了这个

轰动理论界的相似性原理。这个原理指出:不但各合理模型能否计算的问题

是一样的,而且计算模型所用到的三种资源:并行时间,串行时间及存储空

间在本质上一样多。它表明,不仅计算的可能性是客观实在,而且计算的复

杂性也是一种客观实在。

会当凌绝顶,一览众山小。作为一个出色的科学家,不仅需要有滴

水穿石般积累起来的扎实功底,更需要具有那种能透过具体问题,观其大略、

扭转乾坤的气魄。相似性原理不仅统一了所有的计算模型,而且统一了所有

的计算类型。因而它已成为现代复杂性理论中的重要的基础工作之一。

加拿大多伦多大学计算机科学系主任鲍罗廷写给我国有关负责人的信中

说:洪加威的论文是质量很高的研究篇章。我认识到,这些论文对我的思

路和我的同事柯克教授和拉道夫教授的思路都产生了影响……洪加威已成为

对我们系做出巨大贡献的人。

   

新的想法

   


19 世纪,印度哲学家辨喜说过:最伟大的东西是世界上最简单的东西,

它和你自己存在一样简单。这句话告诉了人们这样一个道理:不要忽视你

身旁那些看来习以为常的小事,因为这里面往往会有宝藏。

《中国科学》1986 年第三期刊登了《能用举例子的办法来证明几何定理

吗?》等两篇文章,这是洪加威回国后的又一项重要成果。这篇题材别开生

面的论文不仅对计算机证明平面几何定理的研究工作跨进了一大步,而且对

多年来数学界的一个传统观念提出了新的看法。

要了解这项新工作,还得从有关归纳推理问题讲起。打这样一个比方,

假如你第一次吃苹果,发现苹果是甜的,你再吃第二个、,第三个……当你

吃了一定数量的苹果之后,你会得出一个结论:苹果吃起来有甜味,虽

然你并没有吃掉世界上所有的苹果。这种归纳式的推理本是人们常用的,是

一种非常合乎逻辑的推理形式。然而,这种从特殊的事例概括出一般性知识

的思想方法在数学上却站不住脚。

两千多年前,古希腊数学家欧几里得写了一本划时代的伟大著作《几何

原本》。他在书中总结了古希腊的数学成果,用公理法建立起演绎的数学体

系。这部书里,欧几里得仅从  条公理、5 个公设及一些原始定义出发,演

绎出几百条命题和定理,从而征服了人类的心灵。这种演绎的推理方法至今

仍统治着数学界。

凡人总要死的,张三是人,因此张三是会死的。

这是一个典型的演绎推理,它的前提和结论之间的联系是必然的。在数

学中,从欧几里得以来,只有经过这种把一般性知识应用到特殊场合的推理

才能在证明的过程中使用。如果谁在数学里从几个特殊的例子慨括出一般性

的结论,那么这种结论只能被称为猜想,不能叫做定理。因为它还尚待严格

证明。像著名的哥德巴赫猜想至今也还未最后被证明出来。

在中学的课堂上,数学老师总是这样告诫学生:数学是一门最严格的

科学,它的每条定理,都是由前面正确的结论经演绎推理而得到的,在数学

里,决不允许靠举几个例子来证明问题……”如果哪个学生胆敢靠举几

个正确的例子来证明一道几何命题,那他一定要零分,因为这是数学

上的大忌。

然而,从学生时代起就喜欢异想天开的洪加威对数学里这个司空见

惯的观点却发生了疑问。一天,他和著名数学家吴文俊教授一起闲谈,讲到

了这样一个平面几何问题:

我们在纸上随便画一个三角形,再连上它三边上的高,如果画得仔细

就会发现三高交于一点。不妨多试几次,但每次的结果都是如此。于是你肯

定会认为,这要不是一条定理才怪呢!因为这是一个多么直观又简单的推理

过程啊!如果能按一定的方式找出几个特例来证实这个平面几何定理成立,

那么不就能借助计算机来证明平面几何问题了吗?

想法是好,但怎么把这个问题严格化呢?吴文俊教授问道。

是啊!有大胆的设想,还需要有解决问题的手段才行。计算机复杂性理

论的研究工作刚告一段落,洪加威立刻又把全部精力投入这一数学的新领

域。

数学,以它精密而无懈可击的论证方式赢得了科学女皇的美名。它一向

被人们描述为是一门抽象的、演绎的科学,纯理智的精英。然而另一方面,

在数学的萌芽和发展阶段中归纳推理也立下过汗马功劳。有人研究过,


原始人通常总用一只手拿一件物品,正是经过无数次的反复和归纳,最终才

的概念中分出数字的概念。数学史上的伟大革命——微积分

的诞生也与归纳推理密切相关。牛顿等人从前人解决的大量变量问题中归纳

出有价值的想法,归结出微分和反微分两个问题,完成了科学史上的一大勋

业。抚今追昔,洪加威在想:归纳和演绎两种推理,它们像一对孪生兄弟,

都是人类认识自然的基本方法。可是它们为什么这样水火不容呢?归纳和演

绎两者关系的问题,一定有些很深奥的东西在里面。但究竟如何突破呢?

他继续往下想着。

归纳推理的好处是简单易行,但却不严密可靠,而演绎推理是严密可

靠的,但却不简单易行。能不能用演绎推理的方法来证明某种归纳推理的严

密可靠性呢?

事实上,归纳推理作为科学研究方法几乎和演绎推理有同样悠久的历

史。早在两千多年前,亚里士多德就把归纳演绎方法作为认识自然的统一

方法一并提出。而古老的数学分支——平面几何,恰恰是归纳推理和演绎推

理历史上分道扬镳的地方,洪加威希望在此找到一个突破口。

经过严密的论证,洪加威在理论上终于证实了他的想法。在中国数学会

五十周年年会上,他的《能用计算一个实例的办法证明几何定理吗?》一文,

引起了数学界同行们的极大兴趣和关注。根据这一方法,对于一个平面几何

的命题只要按一个简单的公式给出一个数值特例,然后对该特例进行验算。

如果这个命题对该特例在一定误差范围内正确则命题一般地精确地成立,否

则不成立。于是可以用近似计算代替传统的三段式的推理。这项工作的意义

和价值,将有待今后数学界、计算机科学界以及哲学界的学者们去评判。

唯物辩证法是宇宙间一切事物的根本大法,在数学这门严密的学科中也

毫不例外。洪加威以他出色的思想方法再次证实了恩格斯早年的一句名言:

归纳和演绎,正如分析和综合一样,是必然互相联系着的。不应牺牲一个

而把另一个捧到天上去,应当把每一个都用到该用的地方去,而要做到这一

点,就只有注意它们的相互联系、它们的相互补充。

洪加威是新中国培养起来的新一代科学家,他个人成长历程中的起落兴

衰与我们整个国家民族的命运是紧密相联的。他时刻都没有忘记,在极左路

线盛行、是非颠倒的年代,有多少老师、同学曾给他以鼓励和支持,又有多

少热心的好同志、好领导冒着风险保护和帮助过他。在他的每一份成绩里,

都蕴含着祖国人民对他的殷切希望。当有的外国科学家劝他留在国外时,他

这样写道:他们知道我的水平,但是不知道我的心。我生为中国人,死为

中国鬼,为了祖国的荣誉,我愿奋斗终生!

现在,洪加威虽已是一个年近五旬的人,但始终保持一颗年轻人的心,

他正以旺盛的精力开拓、探索人类思维奥秘的新领域。但他把更大的希望寄

予下一代青年同志。他常这样讲:我是一个乐观派,对科学的未来和人类

的前途我充满信心。因为在历史的长河中,人类现在还不过是一个婴儿。它

将在信息时代中改造自己,达到出神入化的地步,变成一个比现代人类高千

万倍的新人类。

一位早期数学家说得好:不是心灵中的诗人,就不可能成为数学家。

是的,洪加威多么像一个满怀豪情的诗人。他笔下的一行行符号、公式、公

理,不就是美妙的诗篇吗?这是一首首赞颂科学、颂扬真理、憧憬着人类美

好明天的诗!

上一篇:高斯

下一篇:笛卡儿

推荐阅读
备案ICP编号  |   QQ:81962480  |  地址:上海金海路  |  电话:12345678910  |  
Copyright © 2019 MAPDF Studio 版权所有,授权www.mapdf.net使用 Powered by MAPDF.net