0
| 本文作者： 我在思考中 | 2021-09-22 11:32 |
Jürgen Schmidhuber作為科技界“公正處”的編外人員，Jürgen Schmidhuber（約爾根·施密杜伯）常年以個(gè)人博客為主陣地，對(duì)科技界新聞躬身評(píng)審，撰寫(xiě)了超過(guò)350篇同行評(píng)審論文。作為一位經(jīng)常發(fā)表主旨演講的人，他還長(zhǎng)期就人工智能戰(zhàn)略為各國(guó)政府提供建議。
在9月14日，他終于完成一年半之前的約稿，在個(gè)人博客上又發(fā)新作：艾倫·圖靈（Alan Mathison Turing) 被過(guò)譽(yù)。
博文截圖
長(zhǎng)期以來(lái)，Jürgen Schmidhuber 都像一個(gè)精力充沛的戰(zhàn)士，矛頭直指科技界當(dāng)紅小生，曾與 Ian Goodfellow 爭(zhēng)辯 GAN 的歸屬、還在ACM 將圖靈獎(jiǎng)授予「深度學(xué)習(xí)三巨頭」后，極力肯定和推廣LSTM在人工神經(jīng)網(wǎng)絡(luò)和深度學(xué)習(xí)領(lǐng)域的巨大作用，引用 200 多條文獻(xiàn)逐條反駁 「三巨頭」的不該獲獎(jiǎng)。直到去年的IEEE 2021上，神經(jīng)網(wǎng)絡(luò)先驅(qū)獎(jiǎng)被授予 LSTM 提出者 Sepp Hochreiter，長(zhǎng)達(dá)近兩年的 LSTM爭(zhēng) 論終獲正名，科技界“抬杠選手” Schmidhuber 的指正也獲得迂回性的勝利。
注：圖靈獎(jiǎng)（Turing Award），全稱A.M.圖靈獎(jiǎng)（A.M Turing Award），是由美國(guó)計(jì)算機(jī)協(xié)會(huì)（ACM，）于1966年設(shè)立的計(jì)算機(jī)獎(jiǎng)項(xiàng)，名稱取自艾倫·麥席森·圖靈（1912年－1954年），旨在獎(jiǎng)勵(lì)對(duì)計(jì)算機(jī)事業(yè)作出重要貢獻(xiàn)的個(gè)人。圖靈獎(jiǎng)對(duì)獲獎(jiǎng)條件要求極高，評(píng)獎(jiǎng)程序極嚴(yán)，一般每年僅授予一名計(jì)算機(jī)科學(xué)家。圖靈獎(jiǎng)是計(jì)算機(jī)領(lǐng)域的國(guó)際最高獎(jiǎng)項(xiàng)，被譽(yù)為"計(jì)算機(jī)界的諾貝爾獎(jiǎng)"。
正因?yàn)閹в蟹N種爭(zhēng)議和故事，Jürgen Schmidhuber 的動(dòng)態(tài)更加引入關(guān)注。
今年，Jürgen Schmidhuber不再將矛頭指向圖靈獎(jiǎng)的公正性，而是直接指向圖靈獎(jiǎng)的創(chuàng)始人——艾倫·圖靈（以下簡(jiǎn)稱圖靈）：
長(zhǎng)期以來(lái)，圖靈確實(shí)對(duì)計(jì)算機(jī)科學(xué)做出了某些重大貢獻(xiàn)，然而，這一領(lǐng)域的先驅(qū)們的貢獻(xiàn)常常被忽視，圖靈的個(gè)人價(jià)值卻經(jīng)常被過(guò)分夸大。盡管這并不是圖靈的錯(cuò)，但我們需要停止以犧牲先輩為代價(jià)而過(guò)度夸大單個(gè)科學(xué)家的貢獻(xiàn)。尋找和引用科技創(chuàng)新的原始來(lái)源相當(dāng)重要。在新作中，Jürgen Schmidhuber引用了97條參考文獻(xiàn)，并直言：本文是為有同樣見(jiàn)解的計(jì)算機(jī)科學(xué)家提供的資源。
同時(shí)，《Nature》雜志也在呼吁："要重視那些修正科學(xué)的人"。
在新作中，Jürgen Schmidhuber重點(diǎn)討論了計(jì)算機(jī)科學(xué)的基本概念，以及哥德?tīng)枴⒆嫠?、萊布尼茨先驅(qū)們研究的個(gè)中關(guān)系。他們的研究有時(shí)被錯(cuò)誤地認(rèn)為是英國(guó)數(shù)學(xué)家圖靈的發(fā)明，尤其是在英語(yǔ)圈（以英語(yǔ)為母語(yǔ)的人）。
AI科技評(píng)論對(duì)其博文進(jìn)行了不改變?cè)獾恼恚韵聻榫唧w內(nèi)容。
有人聲稱圖靈創(chuàng)立了計(jì)算機(jī)科學(xué)，就連同行評(píng)議的英國(guó)《Nature》雜志此前也發(fā)表過(guò)夸大其詞的言論，比如：圖靈1936年的論文為未來(lái)所有計(jì)算機(jī)提供了"理論支柱"。事實(shí)并非如此。
一部受歡迎的英國(guó)電影《模仿游戲》甚至說(shuō)他發(fā)明了電腦。他沒(méi)有。（電影改編自安德魯·霍奇斯編著的《艾倫·圖靈傳》。二戰(zhàn)期間，盟軍苦于德國(guó)的秘密系統(tǒng)"英格瑪"無(wú)法破譯，政府召集了一批民間數(shù)學(xué)家、邏輯學(xué)家進(jìn)行秘密破解工作，圖靈就是其中之一）
一位著名的歷史學(xué)家寫(xiě)道："我可以寫(xiě)很多專欄，只不過(guò)是歪曲關(guān)于圖靈的荒謬文章，但大多數(shù)應(yīng)該是由更了解的人寫(xiě)的。"其中ACM對(duì)2018年對(duì)圖靈獎(jiǎng)的官方解釋是， "圖靈獎(jiǎng)是以英國(guó)數(shù)學(xué)家艾倫·M·圖靈(Alan M. Turing)的名字命名的，他闡明了計(jì)算的數(shù)學(xué)基礎(chǔ)和局限性?！?/span>
盡管ACM關(guān)于圖靈的聲明并不是完全錯(cuò)誤的，但它極具誤導(dǎo)性，就像它的其他一些聲明一樣。ACM說(shuō)圖靈"闡明了計(jì)算的數(shù)學(xué)基礎(chǔ)和極限" ，然而，幾十年來(lái)許多人已經(jīng)這樣做了。當(dāng)科學(xué)蓋棺定論時(shí)，重要的問(wèn)題是誰(shuí)先做的？
圖靈在奧地利數(shù)學(xué)家?guī)鞝柼亍じ绲聽(tīng)?( Kurt G?del ) 開(kāi)創(chuàng)性工作的五年后，以及圖靈的博士導(dǎo)師美國(guó)人阿隆佐·丘奇（ Alonzo Church）一年后發(fā)表了論文。當(dāng)然，他在1936年的論文(其更正在1937年發(fā)表)中引用了這兩篇文章。帶著這一點(diǎn)，讓我們更仔細(xì)地看看現(xiàn)代計(jì)算機(jī)科學(xué)的誕生。
20世紀(jì)30年代初（1931年），哥德?tīng)柍蔀楝F(xiàn)代計(jì)算機(jī)理論科學(xué)的奠基人。他引入了一種基于整數(shù)的通用編碼語(yǔ)言。它允許以公理的形式形式化任何數(shù)字計(jì)算機(jī)的操作。哥德?tīng)栍盟鼇?lái)表示數(shù)據(jù)(如公理和定理)和程序 (如數(shù)據(jù)操作的證明生成序列)。他構(gòu)建了一個(gè)著名的形式命題，討論了其他形式命題的計(jì)算，特別是自指式命題，這意味著它們是不可判定的，給出了一個(gè)計(jì)算定理證明，系統(tǒng)地從一組可列舉的公理中列舉出所有可能的定理。因此，他確定了算法定理證明、計(jì)算和任何基于計(jì)算的人工智能的基本極限。
20世紀(jì)40 -70年代早期的人工智能實(shí)際上是關(guān)于定理證明和通過(guò)專家系統(tǒng)和邏輯編程的哥德?tīng)栵L(fēng)格的演繹。
哥德?tīng)?/span>建立在Gottlob Frege（在1879年他引入了第一個(gè)形式語(yǔ)言)、Georg Cantor(1891年，對(duì)角化技巧)、Thoralf Skolem(1923年他引入了原始遞歸函數(shù))和Jacques Herbrand(他發(fā)現(xiàn)了Skolem方法的局限性)的早期工作的基礎(chǔ)上。這些作者是建立在萊布尼茨（Gottfried Wilhelm Leibniz）的形式代數(shù)思想(1686)的基礎(chǔ)上，它與后來(lái)1847年的布爾代數(shù)是演繹等價(jià)的。
萊布尼茨（Gottfried Wilhelm Leibniz）是“計(jì)算機(jī)科學(xué)之父”的候選人之一，他被稱為“世界上第一位計(jì)算機(jī)科學(xué)家”，甚至被稱為“有史以來(lái)最聰明的人”。他不僅是第一個(gè)發(fā)表無(wú)限小微積分(1684)的人，也是第一個(gè)描述穿孔卡片控制的二進(jìn)制計(jì)算機(jī)原理(1679)的人。(二進(jìn)制編碼本身要比這古老得多，可以追溯到古埃及。二進(jìn)制運(yùn)算的算法部分是相對(duì)較新的。比較Juan Caramuel y Lobkowitz發(fā)表的二進(jìn)制編碼(1670)和Thomas Harriott未發(fā)表的論文)
此外，萊布尼茨追求一個(gè)雄心勃勃且極具影響力的項(xiàng)目，通過(guò)一種通用語(yǔ)言和用于推理的一般演算來(lái)回答所有可能的問(wèn)題:《普遍性特征與微積分推理者》 (靈感來(lái)自13世紀(jì)的學(xué)者Ramon Llull)。然而，在20世紀(jì)30年代早期，哥德?tīng)柕闹Y(jié)果顯示了萊布尼茨計(jì)劃的局限性。
1935年，丘奇（Church）證明了希爾伯特和阿克曼（Hilbert & Ackermann）的決策問(wèn)題沒(méi)有通解，從而導(dǎo)出了哥德?tīng)柦Y(jié)果的一個(gè)推論。為了做到這一點(diǎn)，他使用了另一種通用編碼語(yǔ)言，稱為非類型Lambda微積分（Untyped Lambda Calculus），它構(gòu)成了極具影響力的編程語(yǔ)言LISP的基礎(chǔ)。
1936年，圖靈引入了另一個(gè)通用模型，這可能是其中最著名的一個(gè)(至少在計(jì)算機(jī)科學(xué)領(lǐng)域): 圖靈機(jī)。他重新推導(dǎo)了上述結(jié)果。當(dāng)然，他在1936年的論文中同時(shí)引用了哥德?tīng)柡颓鹌妗?/span>
同年，波斯特（Emil Post）發(fā)表了另一個(gè)獨(dú)立的通用計(jì)算模型，也引用了哥德?tīng)柡颓鹌妗Ｇ鹌孀C明了他的模型與哥德?tīng)柕哪Ｐ途哂型瑯拥谋磉_(dá)能力。然而，據(jù)美籍華裔數(shù)學(xué)家、邏輯學(xué)家、哲學(xué)家王浩說(shuō)，是圖靈的工作(1936)使哥德?tīng)栂嘈帕俗约海?931）和丘奇(1935)方法的普適性。
就像哥德?tīng)栐?931- 1934年發(fā)明的最初的通用語(yǔ)言一樣，圖靈機(jī)和1936年發(fā)明的波斯特機(jī)器都是理論的、不切實(shí)際的結(jié)構(gòu)，不能直接作為現(xiàn)實(shí)世界計(jì)算機(jī)的基礎(chǔ)。值得注意的是，康拉德·祖斯為第一臺(tái)實(shí)用的通用程序控制計(jì)算機(jī)申請(qǐng)的專利也可以追溯到1936年。
圖靈和波斯特在1936年究竟做了什么，是哥德?tīng)?1931)和丘奇(1935)沒(méi)有做過(guò)的?
有一個(gè)看似微小的差異，但其重要性后來(lái)才顯現(xiàn)出來(lái)：哥德?tīng)柕脑S多指令序列都是數(shù)字編碼的存儲(chǔ)內(nèi)容的整數(shù)乘法，但他并不關(guān)心這種乘法的計(jì)算復(fù)雜度會(huì)隨著存儲(chǔ)空間的增大而增加。同樣，丘奇也忽略了他的算法中基本指令的上下文依賴性時(shí)空復(fù)雜性。
然而，圖靈和波斯特采用了傳統(tǒng)的、簡(jiǎn)化主義的、極簡(jiǎn)主義的二進(jìn)制的計(jì)算觀點(diǎn)。他們的機(jī)器模型只允許非常簡(jiǎn)單、復(fù)雜度不變的基本二進(jìn)制指令，比如萊布尼茨(1679)的早期二進(jìn)制機(jī)器模型和祖斯1936年的專利申請(qǐng)。他們并沒(méi)有利用這一點(diǎn)——圖靈只是用他的(相當(dāng)?shù)托У?模型來(lái)重新表述哥德?tīng)柡颓鹌骊P(guān)于可計(jì)算極限的結(jié)果。然而，后來(lái)，這些機(jī)器的簡(jiǎn)單性使它們成為復(fù)雜性理論研究的方便工具。(我也很高興在無(wú)窮無(wú)盡的計(jì)算中使用并推廣了它們）
有世人稱，圖靈至少為人工智能奠定了基礎(chǔ)。這有什么意義嗎?
1948年，圖靈寫(xiě)下了與人工進(jìn)化和學(xué)習(xí)人工神經(jīng)網(wǎng)絡(luò)有關(guān)的想法，其架構(gòu)至少少可以追溯到1943年(參見(jiàn)自20世紀(jì)20年代以來(lái)與之密切相關(guān)的物理學(xué)工作)。圖靈沒(méi)有發(fā)表，這也解釋了為什么他的論文缺乏影響力。
1950年，他提出了一個(gè)簡(jiǎn)單而著名的主觀測(cè)試，用來(lái)評(píng)估計(jì)算機(jī)是否智能。
1956年，在達(dá)特茅斯的一次會(huì)議上，約翰·麥卡錫（John McCarthy）創(chuàng)造了“人工智能”一詞，作為相關(guān)研究的新標(biāo)簽。然而，第一次關(guān)于人工智能的會(huì)議早在1951年就在巴黎召開(kāi)了，當(dāng)時(shí)的人工智能仍被稱為控制論，重點(diǎn)是與基于深度神經(jīng)網(wǎng)絡(luò)的現(xiàn)代人工智能非常一致。
但是早在1914年，西班牙人Leonardo Torres y Quevedo就已經(jīng)成為20世紀(jì)第一個(gè)實(shí)用人工智能的先驅(qū)，他創(chuàng)造了第一個(gè)可以使用的象棋終局棋手(當(dāng)時(shí)象棋被認(rèn)為是一種僅限于智能生物領(lǐng)域的活動(dòng))。幾十年后，當(dāng)人工智能先驅(qū)Norbert Wiener在1951年的巴黎會(huì)議上與它交手時(shí)，這臺(tái)機(jī)器仍大展拳腳。
然而，祖斯（Konrad Zuse）早在1945年就有了更通用的象棋套路。他也在1948年應(yīng)用了他開(kāi)創(chuàng)性的Plankalkül編程語(yǔ)言來(lái)證明定理，遠(yuǎn)早于Newell和Simon 1956年的工作。通過(guò)專家系統(tǒng)自動(dòng)證明和推導(dǎo)定理，為人工智能奠定了形式化的基礎(chǔ)(有些人錯(cuò)誤地認(rèn)為他也證明了人類優(yōu)于人工智能)。總之，人工智能的基礎(chǔ)性成就遠(yuǎn)遠(yuǎn)早于圖靈的成就。
哥德?tīng)柪碚撚?jì)算機(jī)科學(xué)獎(jiǎng)以哥德?tīng)柮?，但目前?jiǎng)金更加豐厚的ACM 的圖靈獎(jiǎng)成立于1966年，以表彰“對(duì)計(jì)算機(jī)領(lǐng)域具有持久和重大技術(shù)重要性”的貢獻(xiàn)。有趣而尷尬的是，哥德?tīng)?1906-1978)從未得到過(guò)一個(gè)，盡管他不僅為該領(lǐng)域的“現(xiàn)代”版本奠定了基礎(chǔ)，而且還在給約翰·馮·諾依曼(1956)的著名信中指出了該領(lǐng)域最著名的開(kāi)放問(wèn)題“P=NP?” 盡管這些先驅(qū)者在該獎(jiǎng)項(xiàng)設(shè)立數(shù)年后就去世了，但中間還有12年的時(shí)間。
同樣，祖斯(1910-1995)也從未獲得過(guò)圖靈獎(jiǎng)，盡管他在1935-1941年間創(chuàng)造了世界上第一臺(tái)可編程通用計(jì)算機(jī)。并且他在1936年的專利申請(qǐng)描述了可編程物理硬件所需的數(shù)字電路，這比香農(nóng)在1937年關(guān)于數(shù)字電路設(shè)計(jì)的論文要早。
祖斯也在20世紀(jì)40年代早期創(chuàng)造了第一種高級(jí)程序設(shè)計(jì)語(yǔ)言，以及在1941年發(fā)明的Z3電腦。Z3不像哥德?tīng)?1931)、丘奇(1935)、圖靈(1936)和波斯特(1936)那樣，只是一種理論上不切實(shí)際的紙筆結(jié)構(gòu)，忽略任何物理計(jì)算機(jī)不可避免的存儲(chǔ)限制。它的物理硬件在上述理論的現(xiàn)代意義上確實(shí)是通用的——簡(jiǎn)單的算術(shù)技巧可以彌補(bǔ)它缺乏一個(gè)顯式條件跳轉(zhuǎn)指令的類型 “IF…然后轉(zhuǎn)到地址…
順便說(shuō)一下，圖靈的編程或波斯特的機(jī)器更尷尬，它們也不允許“現(xiàn)代的”條件跳轉(zhuǎn)——它們甚至沒(méi)有指令指針可以跳轉(zhuǎn)到的編號(hào)內(nèi)存地址。
Z3 在計(jì)算硬件的歷史中處于什么位置?
已知的第一個(gè)基于齒輪的計(jì)算裝置是2000多年前古希臘的天球儀(一種天文鐘)。1500年后，彼得·亨萊因仍在制造概念上類似的機(jī)器——盡管更小——也就是第一個(gè)小型化懷表(1505年)。但這些設(shè)備總是計(jì)算相同的東西，例如，用分鐘除以60得到小時(shí)。
17世紀(jì)出現(xiàn)了更靈活的機(jī)器，可以根據(jù)輸入數(shù)據(jù)計(jì)算答案。1623年，威廉·希卡德(Wilhelm Schickard)建造了第一臺(tái)基于數(shù)據(jù)處理齒輪的簡(jiǎn)單算術(shù)專用計(jì)算器，他是“自動(dòng)計(jì)算之父”的候選人之一，緊隨其后的是Blaise Pascal（1642年）的高級(jí)Pascaline。
在1673年，上述不可避免的萊布尼茨設(shè)計(jì)了第一臺(tái)能執(zhí)行所有四種算術(shù)運(yùn)算的機(jī)器(步數(shù)計(jì)算器)，而且第一臺(tái)有內(nèi)存的機(jī)器。他還在1679年描述了二進(jìn)制計(jì)算機(jī)的原理，幾乎是所有現(xiàn)代計(jì)算機(jī)的原理，包括Zuse的Z3。
Z3采用電磁繼電器，開(kāi)關(guān)明顯移動(dòng)。第一個(gè)電子專用計(jì)算器（其運(yùn)動(dòng)部件是太小而看不見(jiàn)的電子）是由John Atanasoff(“基于電子管的計(jì)算之父”)發(fā)明的二進(jìn)制ABC(美國(guó)，1942年)。與17世紀(jì)以齒輪為基礎(chǔ)的機(jī)器不同，ABC使用的是電子管——今天的機(jī)器使用的是晶體管原理，由Julius E. Lilienfeld在1925年獲得專利。但是不像Z3, ABC不是自由編程的。湯米·弗勞爾斯(Tommy Flowers，英國(guó)，1943-45年)發(fā)明的用來(lái)破解納粹密碼的電子巨像機(jī)(NASC6)也不是。
另一方面，程序的概念當(dāng)時(shí)已經(jīng)眾所周知。也許世界上第一臺(tái)可編程機(jī)器是亞歷山大的赫倫(顯然他也有第一個(gè)已知的蒸汽機(jī)- Aeolipile) 在1世紀(jì)制造的自動(dòng)劇院。他的可編程機(jī)器人的能量來(lái)源是一個(gè)下落的重物，拉著一根纏繞在旋轉(zhuǎn)圓筒銷上的繩子?？刂崎T(mén)和木偶幾分鐘的復(fù)雜指令序列由復(fù)雜的包裝編碼。
巴格達(dá)的巴努·穆薩兄弟(Banu Musa brothers)于9世紀(jì)發(fā)明的自動(dòng)音樂(lè)裝置(music automaton)使用旋轉(zhuǎn)圓筒上的大頭針來(lái)存儲(chǔ)控制蒸汽驅(qū)動(dòng)笛子的程序（與Al-Jazari公司的可編程鼓機(jī)1206相比）。
大約1800年，約瑟夫-瑪麗·雅卡爾等人在法國(guó)制造了第一臺(tái)商用程序控制機(jī)器(穿孔卡片織機(jī))，他們也許是世界上第一個(gè)工業(yè)軟件的“現(xiàn)代”程序員。
在這種情況下，似乎有必要指出程序和上面提到的17世紀(jì)用戶提供的有限輸入數(shù)據(jù)之間的區(qū)別。程序是存儲(chǔ)在某些介質(zhì)(如穿孔卡片上)上的指令序列，可以在不需要人工干預(yù)的情況下反復(fù)運(yùn)行。隨著時(shí)間的推移，存儲(chǔ)程序所需的物理對(duì)象變得越來(lái)越輕。古老的機(jī)器將它們儲(chǔ)存在旋轉(zhuǎn)的圓筒上; 提花機(jī)把它們放在紙板上; 祖斯將它們儲(chǔ)存在35毫米膠片上，而今天我們通常使用電子和可磁化材料來(lái)儲(chǔ)存它們。
雅卡爾的程序(1800年左右)還不是通用型的，但它們啟發(fā)了Ada Lovelace和她的導(dǎo)師Charles Babbage (英國(guó)，大約1840年)。他計(jì)劃制造一種可編程的通用計(jì)算機(jī)，但未能成功(只有他的非通用專用計(jì)算器制造出了一個(gè)20世紀(jì)的復(fù)制品)。
與Babbage不同，祖斯(1936-1941)使用了萊布尼茨的二進(jìn)制計(jì)算原理(1679)替代傳統(tǒng)的十進(jìn)制計(jì)算。這大大簡(jiǎn)化了硬件。除了祖斯之外，其他人制造的第一臺(tái)通用可編程機(jī)器是霍華德·艾肯(Howard Aiken)的，并仍然是十進(jìn)制的MARK I(美國(guó)，1944年)。
Eckert和Mauchly(1945/1946)設(shè)計(jì)的更快的十進(jìn)制ENIAC可以通過(guò)重新布線來(lái)編程。然而今天，大多數(shù)計(jì)算機(jī)都是像Z3那樣的二進(jìn)制。
“"Manchester baby”(Williams, Kilburn & Tootill, 英國(guó), 1948)和1948年升級(jí)的ENIAC都將數(shù)據(jù)和程序存儲(chǔ)在電子存儲(chǔ)器中，ENIAC通過(guò)將數(shù)字指令代碼輸入只讀存儲(chǔ)器進(jìn)行了重新編程。然而，早在1936-38年，祖斯就可能是第一個(gè)建議將程序指令和數(shù)據(jù)都放入內(nèi)存的人。有人指出，除了圖靈自己的ACE設(shè)計(jì)，20世紀(jì)40年代制造的計(jì)算機(jī)都沒(méi)有受到圖靈1936年理論論文的任何影響。
我們?cè)俅巫⒁獾剑绲聽(tīng)?931 – 1934的形式模型將數(shù)據(jù)（例如公理）和程序（對(duì)數(shù)據(jù)的操作序列）以及結(jié)果（例如定理）編碼/存儲(chǔ)在相同的基于整數(shù)的存儲(chǔ)（現(xiàn)在稱為哥德?tīng)柧幪?hào)）中，就像圖靈和波斯特后來(lái)將它們存儲(chǔ)在位字符串中一樣任何圖靈機(jī)、波斯特機(jī)或任何其他數(shù)字計(jì)算機(jī)都可以用哥德?tīng)栕畛醯耐ㄓ媚Ｐ托问交ㄟ@啟發(fā)了我的自我參照哥德?tīng)枡C(jī)）。
然而，應(yīng)該注意的是，我們?cè)谶@里使用了現(xiàn)代術(shù)語(yǔ)：哥德?tīng)枺?931年）、丘奇（1935年）和圖靈（1936年）都沒(méi)有在他們的論文中提到"程序"這個(gè)術(shù)語(yǔ)（盡管祖斯1936年的專利申請(qǐng)經(jīng)常提到"Rechenplan"，意思是"程序"）。術(shù)語(yǔ)“存儲(chǔ)程序”后來(lái)首次出現(xiàn)在電子存儲(chǔ)的語(yǔ)境中。
圖靈發(fā)表了生物信息學(xué)方面的開(kāi)創(chuàng)性工作。然而，他最大的影響可能來(lái)自于他對(duì)破譯德國(guó)軍隊(duì)在第二次世界大戰(zhàn)期間使用的Enigma密碼的貢獻(xiàn)。他與 Gordon Welchman在英國(guó)Bletchley公園共事。然而，著名的密碼破譯巨像機(jī)是由 Tommy Flowers設(shè)計(jì)的。英國(guó)密碼學(xué)家建立在波蘭數(shù)學(xué)家Marian Rejewski、Jerzy Rozycki和Henryk Zygalski的基礎(chǔ)之上，他們是第一個(gè)破解Enigma密碼的人，他們?cè)陔娪啊赌７掠螒颉分猩踔炼紱](méi)有被提及。有人說(shuō)這是打敗第三帝國(guó)的決定性因素。
總之，許多人對(duì)計(jì)算的理論和實(shí)踐做出了貢獻(xiàn)。他1936年的著名論文多次引用了哥德?tīng)?1931)和丘奇(1935)的開(kāi)創(chuàng)性工作，盡管圖靈站在巨人的肩膀上，但他的貢獻(xiàn)是巨大的。作為一名偉大的科學(xué)家，他似乎不太可能會(huì)贊同那些對(duì)他夸大其詞的說(shuō)法，錯(cuò)的不是他，那應(yīng)該是誰(shuí)呢。
資料來(lái)源：
https://people.idsia.ch//~juergen/turing-oversold.html
雷鋒網(wǎng)雷鋒網(wǎng)雷鋒網(wǎng)
雷峰網(wǎng)版權(quán)文章，未經(jīng)授權(quán)禁止轉(zhuǎn)載。詳情見(jiàn)轉(zhuǎn)載須知。
