洪加威

洪加威，江西永新縣東里鄉樟夾山村人；1936年11月出生，是我國著名的計算機專家。

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

基本介紹

• 中文名：洪加威
• 國籍：中國
• 出生地：江西永新縣
• 出生日期：1936年11月

求學經歷

洪加威1955年以優異成績考入北大數學系，1962年又考入北大數學系研究生。但他經歷的道路長期專業不對口，多年下放勞動，當過調查員、赤腳醫生、公社農業技術員、美工等。在逆境中，他從沒有放棄為科學獻身的理想。1962年國家下達“科研十四條”後，洪加威以優異的成績考取了北京大學研究生。有了如此難得的學習機遇，洪加威更加刻苦學習，畢業時的論文(關於P(KP+¨(KP+2)階的單群》，深受專家、導師的讚賞。然而，天不遂人願，他又被分回原單位系統工作，卓有成效的研究又被迫中斷。

主要成就

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

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