洪加威在計算機科學上的成就

“三個中國人算法”、“相似性原理”、“例證法”，這些成果曾多次引起國際轟動。作出這些成果的是世界著名數學、計算機專家洪加威(1936一)。

洪加威讀書時各科成績優秀，數學尤其出色。他興趣廣泛，琴棋書畫，全麵發展。1955年他以優異成績考入北大數學係，1962年，有考上北大數學係研究生。但他經曆的道路卻坎坷不平，長期專業不對口，多年下放勞動，當過調查員、赤腳醫生、公社農業技術員、美工……。在逆境中，他從沒有放棄為科學獻身的理想。

洪加威的過人之處，在於他抓學科突破點的敏銳洞察力和解決問題時的巨大創造力。1980年，他提出的“相似性原理”，擴充和加強了計算機科學和數學的著名論題——圖靈論題。國際人工智能界的熱門話題“聯結模型”(一種大腦的數學模型)，被認為是十幾年來人工智能界最重要的成果之一。洪加威嚴格證明了這種模型和其他計算模型是等價的，從理論上深刻地揭示了這一模型的本質，為進一步研究奠定了理論基礎。在數學上，要否定一個幾何定理，找出一個反例就夠了。但是要證明一個幾何定理，決不能隻靠一些具體例子，洪加威打破了人們的傳統觀念，提出了別具一格的“例證法”。人們隻要找出一個具體的例子和一個誤差範圍，用計算機檢查一下，如果這個例子在誤差範圍內正確，這個幾何定理就被證明了。否則定理不成立。這是對初等數學的一大貢獻。

洪加威不僅是一個優秀理論家，還是一個重視聯係實際的人。他為解決數控機床在使用上的困難，設計了一套高功能的xY一語言。這使得數控機床的使用變得十分簡單，有初中文化程度的人隻要訓練幾天就可以掌握。