洪加威在计算机科学上的成就（第1页）

洪加威在计算机科学上的成就

“三个中国人算法”

、“相似性原理”

、“例证法”

，这些成果曾多次引起国际轰动。

作出这些成果的是世界著名数学、计算机专家洪加威（1936一）。

洪加威读书时各科成绩优秀，数学尤其出色。

他兴趣广泛，琴棋书画，全面发展。

1955年他以优异成绩考入北大数学系，1962年，有考上北大数学系研究生。

但他经历的道路却坎坷不平，长期专业不对口，多年下放劳动，当过调查员、赤脚医生、公社农业技术员、美工……。

在逆境中，他从没有放弃为科学献身的理想。

洪加威的过人之处，在于他抓学科突破点的敏锐洞察力和解决问题时的巨大创造力。

1980年，他提出的“相似性原理”

，扩充和加强了计算机科学和数学的著名论题——图灵论题。

国际人工智能界的热门话题“联结模型”

（一种大脑的数学模型），被认为是十几年来人工智能界最重要的成果之一。

洪加威严格证明了这种模型和其他计算模型是等价的，从理论上深刻地揭示了这一模型的本质，为进一步研究奠定了理论基础。

在数学上，要否定一个几何定理，找出一个反例就够了。

但是要证明一个几何定理，决不能只靠一些具体例子，洪加威打破了人们的传统观念，提出了别具一格的“例证法”

。

人们只要找出一个具体的例子和一个误差范围，用计算机检查一下，如果这个例子在误差范围内正确，这个几何定理就被证明了。

否则定理不成立。

这是对初等数学的一大贡献。

洪加威不仅是一个优秀理论家，还是一个重视联系实际的人。

他为解决数控机床在使用上的困难，设计了一套高功能的xY一语言。

这使得数控机床的使用变得十分简单，有初中文化程度的人只要训练几天就可以掌握。