-
洪加威
鎖定
洪加威,江西永新縣東里鄉樟夾山村人;1936年11月出生,是我國著名的計算機專家。
“三個中國人算法”“相似性原理”“例證法”這些成果曾多次引起國際轟動。作出這些成果的是世界著名數學、計算機專家洪加威。
[1]
- 中文名
- 洪加威
- 國 籍
- 中國
- 出生日期
- 1936年11月
- 出生地
- 江西永新縣
洪加威求學經歷
洪加威1955年以優異成績考入北大數學系,1962年又考入北大數學系研究生。但他經歷的道路長期專業不對口,多年下放勞動,當過調查員、赤腳醫生、公社農業技術員、美工等。在逆境中,他從沒有放棄為科學獻身的理想。1962年國家下達“科研十四條”後,洪加威以優異的成績考取了北京大學研究生。有了如此難得的學習機遇,洪加威更加刻苦學習,畢業時的論文《關於P(KP)+¨(KP+2)階的單羣》,深受專家、導師的讚賞。然而,天不遂人願,他又被分回原單位系統工作,卓有成效的研究又被迫中斷。
洪加威主要成就
他的過人之處,在於他抓學科突破點的敏鋭洞察力和解決問題時的巨大創造力。1980年,他提出的“相似性原理”,擴充和加強了計算機科學和數學的著名論題~~圖靈論題。國際人工智能界的熱門話題“連結模型”(一種大腦的數學模型),被認為是十幾年來人工智能界最重要的成果之一。洪加威嚴格證明了這種模型和其他計算模型是等價的,從理論上深刻地揭示了這一模型的本質,為進一步研究奠定了理論基礎。在數學上,要否定一個幾何定理,找出一個反例就夠了,但是要證明一個幾何定理,決不能只靠一些具體例子,洪加威打破了人們的傳統觀念,提出了別具一格的“例證法”。人們只要找出一個具體的例子或一個誤差範圍,用計算機檢查一下,如果這個例子在誤差範圍內正確,這個幾何定理就被證明了。否則定理不成立。這是對初等數學的一大貢獻。
洪加威不僅是一個優秀理論家,還是一個重視聯繫實際的人。他為解決數控機牀在使用上的困難,設計了一套高功能的XY-語言。這使得數控機牀的使用變得十分簡單,有初中文化程度的人只要訓練幾天就可以掌握。
- 參考資料
-
- 1. 你知道永新的名人有哪些-中共永新縣委黨校 .中共永新縣委黨校[引用日期2023-04-11]
- 詞條統計
-
- 瀏覽次數:次
- 編輯次數:14次歷史版本
- 最近更新: etopfy