手機版 | 網站導航
      東方科技網 要聞 >

      播報:圖靈獎得主箴言及其相關鏈接

      中國科技新聞網 | 2022-09-04 15:54:04

      動物和機器是完全不同的材料,按十分不同的原理構成(威爾克斯)。

      計算目的不在于數據而在于洞察事物(哈明)。


      【資料圖】

      大腦不過是肉做的機器(The brain, happen to be of a meat machine“人工智能之父”明斯基)。

      數學計算的貢獻將保持計算機革命偉大先驅者的期望(威爾金森)。

      科學發現只是特殊類型的問題求解,可用計算機程序實現(紐厄爾)。

      計算機程序設計是藝術,“256美分剛好是十六進制的一美元”(256 pennies is one hexadecimal dollar克努特)。

      程序測試只能證明有錯絕不能證明無錯(狄克斯特拉)。

      任何名詞都可以變為動詞(Any noun can be verbed佩利)。

      所有科學都體現常識。證明理論就回到常識推理,常識指導著你(麥卡錫)。

      圖靈獎,美國計算機學會(ACM)1966年設立,獎勵計算機事業重要貢獻的個人。取自計算機先驅、英國科學家圖靈(Turing)。每年獎勵一名,“計算機界諾獎”。

      (馬秀山2020年摘于中科院計算技術研究所圖靈獎得主畫像及其箴言)

      相關鏈接:1968年生于山西陽泉工人家庭,三個姐姐,姐姐們吃蘋果皮,果肉留給弟弟,跟著姐姐們玩耍,與其內斂性格有關。小學最喜作文課,因其作文總是范文由老師講評。大姐77年恢復高考考上大學,全家觸動。三姐北京大學化學系。高一游覽北大并對三姐“宣誓”,兩年后以校園“主人”入住北大。在美學習時發明并獲得超鏈分析專利。回國創建公司以“眾里尋他千百度”作為公司名稱“百度”(張麗:《李彥宏傳》哈爾濱出版社2013年版)。

      關鍵詞: 數學計算 常識推理 威爾金森 科學發現

      上一篇:

      下一篇:

      相關推薦

      媒體焦點