動(dòng)物和機(jī)器是完全不同的材料，按十分不同的原理構(gòu)成（威爾克斯）。

計(jì)算目的不在于數(shù)據(jù)而在于洞察事物（哈明）。

【資料圖】

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

數(shù)學(xué)計(jì)算的貢獻(xiàn)將保持計(jì)算機(jī)革命偉大先驅(qū)者的期望（威爾金森）。

科學(xué)發(fā)現(xiàn)只是特殊類型的問題求解，可用計(jì)算機(jī)程序?qū)崿F(xiàn)（紐厄爾）。

計(jì)算機(jī)程序設(shè)計(jì)是藝術(shù)，“256美分剛好是十六進(jìn)制的一美元”（256 pennies is one hexadecimal dollar克努特）。

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

任何名詞都可以變?yōu)閯?dòng)詞（Any noun can be verbed佩利）。

所有科學(xué)都體現(xiàn)常識(shí)。證明理論就回到常識(shí)推理，常識(shí)指導(dǎo)著你（麥卡錫）。

圖靈獎(jiǎng)，美國計(jì)算機(jī)學(xué)會(huì)(ACM)1966年設(shè)立，獎(jiǎng)勵(lì)計(jì)算機(jī)事業(yè)重要貢獻(xiàn)的個(gè)人。取自計(jì)算機(jī)先驅(qū)、英國科學(xué)家圖靈(Turing)。每年獎(jiǎng)勵(lì)一名，“計(jì)算機(jī)界諾獎(jiǎng)”。

（馬秀山2020年摘于中科院計(jì)算技術(shù)研究所圖靈獎(jiǎng)得主畫像及其箴言）

相關(guān)鏈接：1968年生于山西陽泉工人家庭，三個(gè)姐姐，姐姐們吃蘋果皮，果肉留給弟弟，跟著姐姐們玩耍，與其內(nèi)斂性格有關(guān)。小學(xué)最喜作文課，因其作文總是范文由老師講評(píng)。大姐77年恢復(fù)高考考上大學(xué)，全家觸動(dòng)。三姐北京大學(xué)化學(xué)系。高一游覽北大并對(duì)三姐“宣誓”，兩年后以校園“主人”入住北大。在美學(xué)習(xí)時(shí)發(fā)明并獲得超鏈分析專利?；貒鴦?chuàng)建公司以“眾里尋他千百度”作為公司名稱“百度”（張麗：《李彥宏傳》哈爾濱出版社2013年版）。

關(guān)鍵詞： 數(shù)學(xué)計(jì)算 常識(shí)推理 威爾金森 科學(xué)發(fā)現(xiàn)