衆人皆知,猶太人在科學和藝術上的成就着實使人驚歎,他們以世界千分之二的人口,在幾乎全部科學領域都擁有1/5到1/3的頂級學者。猶太人得到了全球22%的諾貝爾獎,得到機率遠高於其餘各個民族,除了諾貝爾獎獨佔鰲頭外,這個民族在計算機領域最高榮譽獎圖靈獎的得到上一樣也佔有一席之地。算法
電子計算機與信息技術是最近幾十年人類科技發展最快的領域,無可爭議地改變了每一個人的生活。於1966年設立的有「計算機界諾貝爾獎」之稱的圖靈獎就是專門獎給那些在計算機領域具備持久而重大先進技術的貢獻者。歷屆的圖靈獎得主中,不少都是計算機理論和技術的「獨創者」「奠定者」「之父」,從1996年至2019年共有73名獲此殊榮,而這些人當中猶太人就佔到了22名。數據庫
第一屆圖靈獎得到者就是猶太人,而最近2019年三位獲獎者之一也是猶太人。提到計算機技術,相信很多人最早想到的會是計算機天才猶太人馮諾依曼,毋庸置疑,他爲研製電子數字計算機提供了基礎性方案。他設計的計算機基礎結構仍然是咱們今天計算機領域採用的標準,至今還寫在最權威的教科書裏。今天咱們熱烈討論的AlphaGo、人工智能,能夠說來源之一就是馮·諾依曼的貢獻。除了馮諾依曼外,還有衆多計算機領域的天才,接下來咱們將詳細介紹從1966年起至今全部得到過圖靈獎、在計算機領域有所建樹的22位猶太計算機風雲人物。編程
一、計算機科學奠定人——艾倫佩利安全
1966年因其在新一代編程技術和編譯架構方面的貢獻而獲獎網絡
艾倫·佩利(Alan J. Perlis),美國國家工程學院院士,是現代計算機科學發展的主要人物之一,是程序設計語言的先驅開拓者,是ALGOL語言和計算機科學的「催生者」。因爲在ALGOL語言的定義和擴充上所做出的重大貢獻,以及在創始計算機科學教育,使計算機科學成爲一門獨立的學科上所發揮的巨大做用使其得到了1966年首屆圖靈獎。數據結構
艾倫·佩利出生於賓夕法尼亞州匹茲堡的一個猶太家庭,曾獲化學學士學位(現卡內基梅隆大學)。二戰期間在美國空軍服役,期間對數學產生了興趣,後來前後得到了麻省理工學院的數學碩士和博士學位。1951年他在美國陸軍軍械部設在馬里蘭州的阿伯丁試驗基地內的「彈道研究實驗室」工做了一年,後來回到母校MIT參加「旋風」(Whirlwind)計算機計劃,爲「旋風」編制程序。他還參與研發了世界上第一臺電子計算機「ENIAC」、「EDVAC」。架構
做爲創建計算機科學這門新興學科的先驅之一,佩利作出了幾項開創性的貢獻。他在創建卡內基理工學院(現卡內基梅隆大學)卓越的計算機科學系方面發揮了重要做用。他是早期代數語言發展的領導者,也是制定有影響力的algore -60語言的國際委員會的一名強有力的成員。併發
二、人工智能之父——馬文·明斯基框架
1969年因設計出第一臺程序實現徹底內存的計算機而獲獎函數
馬文·明斯(Marvin Lee Minsky)主要貢獻在人工智能及其框架理論的創立,將認知心理學和計算機科學有機地結合起來。因爲他的研究引領了人工智能、認知心理學、神經網絡、圖靈機理論和迴歸函數這些領域的理論與實踐的發展潮流,並在圖象處理領域、符號計算、知識表示、計算語義學、機器感知和符號鏈接學習領域做出了許多貢獻,1969年,明斯基被授予圖靈獎,成爲了人工智能領域首位圖靈獎得到者。
馬文·明斯基出生於美國紐約猶太家庭,他從小在私立學校接受教育,高中畢業後遵循猶太傳統應徵入伍,在二戰末期經歷了兩年海軍生涯。退伍後,他在哈佛大學主修數學,同時選修了電氣工程、遺傳學、心理學等學科的課程。普遍的學科涉獵爲他對人工智能研究發起挑戰打下了基礎。
1950年,也就是明斯基本科的最後一年,他和他的同窗Dean Edmonds建造了世界上第一臺神經網絡神經網絡模擬器SNARC,他還設計並製造了一些最先的視覺掃描儀,帶有觸覺傳感器的機械手,最先的「海龜」標誌之一,以及它們的軟件和硬件接口。這些影響了後來的許多機器人項目。他是虛擬現實最先倡導者,也是世界上第一我的工智能實驗室MIT人工智能實驗室聯合創始人,他還參與了探索太空的先進技術。
三、Lisp語言發明者、「人工智能之父」——約翰·麥卡錫
1971年因在人工智能領域的貢獻於獲獎
約翰·麥卡錫(John McCarthy)生於美國馬薩諸塞州波士頓,父親是愛爾蘭裔美國人,母親是立陶宛的猶太人。約翰·麥卡錫曾在達特茅斯學院(1955-58),麻省理工學院(1958-62)和斯坦福大學(1953-55和1962-2000)擔任教授。
約翰·麥卡錫是美國計算機科學家和認知科學家,是人工智能(AI)、計算機科學和交互計算系統領域的先驅。因在人工智能領域的貢獻而在1971年得到圖靈獎,被譽爲「人工智能之父」。
1956年發起達特茅斯會議,並提出了「人工智能」概念。在達特茅斯會議先後,麥卡錫的主要研究方向是計算機下棋。下棋程序的關鍵之一是:如何減小計算機須要考慮的棋步。麥卡錫通過艱苦探索,終於發明了著名的α-β搜索法,使搜索能有效進行。該搜索法至今還是解決人工智能問題中一種經常使用的高效方法。
1958年約翰·麥卡錫與明斯基一塊兒建立了世界上第一我的工智能實驗室。1959年發明了LISP語言(該語言至今仍在人工智能領域普遍使用)。LISP是一種通用高級計算機程序語言,長期以來壟斷人工智能領域的應用。1965年,麥卡錫成爲斯坦福人工智能實驗室(SAIL)的創始董事,該實驗室研究機器智能,圖形交互計算和自動駕駛汽車。
四、心理百家——赫伯特·西蒙
1975年因在人工智能、人類識別心理和表處理的基礎貢獻而獲獎。
赫伯特·西蒙(漢名司馬賀)(Herbert Simon)認知心理學奠定者,人工智能理論奠定人之一,是20世紀一位頗具影響力的計算機科學家和心理學家。因「對經濟組織中的決策過程的開創性研究」而榮獲1978年諾貝爾經濟學獎。司馬賀教授做爲認知科學與人工智能的創始人之一,在計算機科學與心理學的結合方面作出了卓越的貢獻,使認知心理學和計算機科學相結合產生了人工智能這一新學科,所以由1975年榮獲圖靈獎。
司馬賀的父親是德國猶太人,母親的家庭是猶太、路德教派及天主教混合背景。他是現代一些重要學術領域的建立人之一,他創造了術語有限理性,也是第一個分析複雜性架構的人。他不只創造了新觀念,還建立了新機構,他幫助卡內基理工學院建立了工業管理研究所院,還率先將行爲科學的概念和方法應用到了管理教育方面,司馬賀和同事所倡導的思想及方法很快被應用到了幾乎全部的商學院,促進了現代工商管理學碩士學位的誕生。他仍是該所大學最著名的計算機科學系的創始人。
五、非肯定性有限狀態自動機理論的開創者——邁克爾·拉賓
1976年因論文"有限自動機與它們的決策問題",被證實具備巨大的價值而獲獎
邁克爾·拉賓(Michael Rabin) 是一名以色列數學家和計算機科學家,1959年,拉賓和達納·斯科特共同發表了「有限自動機與其斷定性問題的論文,提出了非肯定自動機的觀點。他們也所以得到了1976年的圖靈獎。論文中引入了非肯定自動機的概念,被證實是(計算理論科學研究中的)一個很是重要的概念。拉賓和斯科特的這篇經典論文成爲了這個領域後續研究的源泉。
1969年,拉賓證實N successors的二階邏輯是可斷定的。證實的關鍵部分暗示了parity game的肯定性。1975年,拉賓發明了米勒-拉賓檢驗,這是一個至關快速的隨機算法(有較小的可能性錯誤),用於判斷一個大數是不是素數。快速素數檢驗是目前大部分公鑰密碼體系的關鍵。1979年,拉賓發明了第一個非對稱密碼系統——拉賓密碼系統。它的安全性被證實和整數因式分解的複雜度相同。1981年,拉賓提出了不經意傳輸(oblivious transfer)技術。 1987年,拉賓和理查德·卡普提出了一個著名的字符串搜索算法——拉賓-卡普算法。
六、發明「分枝屆限法」的三棲學者——理查德·卡普
1985年因算法理論方面的貢獻而獲獎
理查德·卡普(Richard Manning Karp)是計算機科學家以及計算理論家,因爲他對算法理論的持續貢獻,包括開發有效的網絡流算法和其餘組合優化問題,用算法效率的直觀概念識別多項式時間可計算性,最值得注意的是,對NP理論的貢獻,所以得到了1985年的圖靈獎。
理查德·卡普1935年出生於美國波士頓一個主要的猶太社區多爾切斯特,他曾在哈佛大學得到了應用數學博士學位。他的研究興趣包括理論計算機科學,組合算法,離散機率,計算生物學和互聯網算法。他是加州大學伯克利分校電氣工程和計算機系、數學系、工業工程和運籌學系的教授,60年代提出了「分枝屆限法」,成功求解含有65個城市的推銷員問題,創當時的記錄。分枝界限法」把問題的可行解展開如樹的分枝,再經由各個分枝中尋找最佳解。
七、碩果累累的算法設計大師——羅伯特·陶爾揚
1986年因在算法及數據結構設計和分析方面的基礎性成就而獲獎
羅伯特·陶爾揚((Robert E Tarjan))是一名美國 計算機科學家和數學家,出生在加利福尼亞州波莫納,得到了加州理工學院數學學士學位、斯坦福大學計算機科學碩士和博士學位。1986 年羅伯特 ·陶爾揚 約翰·愛德華·霍普克洛夫特與共同得到ACM圖靈計算機科學獎,以表彰在算法和數據結構設計和分析方面取得的重要成就。
羅伯特·陶爾揚設計了求解的應用領域的許多問題的普遍有效的算法和數據結構,他繼續在組合算法和數據結構領域工做。他以在數據結構和圖論上的開創性工做而聞名。他的一些著名的算法包括 Tarjan最近共同祖先離線算法 ,Tarjan的強連通份量算法 以及Link-Cut-Trees算法等。Tarjan也開創了重要的數據結構如:斐波納契堆和splay樹(splay發明者還有Daniel Sleator)。另外一項重大貢獻是分析了並查集。他是第一個證實了計算反阿克曼函數的樂觀時間複雜度的科學家。
八、浮點計算的先驅—— 威廉凱亨
1989年因其「對數值分析的基本貢獻」而獲獎
威廉凱亨出生於一個加拿大猶太人家庭,卡亨既在大學從事過教學和科研,又在一些著名的計算機整機廠和元器件廠從事太重要的技術工做和產品開發工做。同時在美國國家半導體公司兼職。這些經歷使他積累了豐富的工程實踐經驗,併爲計算機科學技術,尤爲是在計算機運算技術的發展方面做出了重要貢獻。1989年 因其「對數值分析的基本貢獻」而於得到圖靈獎。
在英特爾供職期間,凱亨主持設計與開發了8087芯片,成功地實現了高速、高效的浮點運算部件。直到目前,以80×86爲CPU的計算機,若需完成科學與工程計算方面的課題,也必須同時配置8087這種數學協處理器。因爲他的突出貢獻,凱亨後來又受命主持制定了二進制的、與基數無關的浮點運算標準,即IEEE754標準和IEEE854標準。而這兩個標準至今仍爲絕大多數的計算機廠商所遵照。
九、駕馭知識——愛德華.費根鮑姆和他的專家系統
1994年因其計算複雜性理論傑出貢獻和密碼學和編程校驗上的應用而得到圖靈獎
愛德華 費根鮑姆(Edward Feigenbaum)出生在新澤西州一個猶太人家庭中,專長於人工智能,常常被人稱爲專家系統之父。1994年因其計算複雜性理論傑出貢獻和密碼學和編程校驗上的應用而得到圖靈獎。他的《計算機與思想》這本書被認爲是世界上第一本有關人工智能的經典性專著。這本書中收錄了人工智能領域各個研究方向的重要論文,是一部經典做品。
他的主要貢獻在於最先倡導了「知識工程」,並使知識工程成爲人工智能領域中取得實際成果最豐富、影響也最大的一個分支。1965年,他與其餘合做者共同開發出了世界上第一個專家系統程序DENDRAL。METADENDRAL, 不只可以應用已知的規則來推測化合物的結構,並且還能將已知的結構與數據庫中的規則進行比較,從而獲得全新的規則。DENDRAL的研究成功被認爲是人工智能研究的一個歷史性突破。費根鮑姆領導的研究小組後來又爲醫學、工程和國防等部門研製成功一系列實用的專家系統,其中尤以醫學專家系統方面的成果最爲突出,最負盛名。目前,學術界公認,在將人工智能技術應用於醫學方面,斯坦福大學處於世界領先地位,這和費根鮑姆是分不開的。
十、計算複雜性理論的主要奠定人之一——曼紐爾·布盧姆
曼紐爾·布盧姆(Manuel Blum)是1995年因其計算複雜性理論傑出貢獻和密碼學和編程校驗上的應用而獲1995年圖靈獎的一名計算機科學家。他是密碼系統和程序檢驗先驅,計算複雜性理論的主要奠定人之一。Blum是卡內基梅隆大學計算機科學教授,也是世界上理論計算機學大師。他被選舉成爲美國國家科學院成員,這對於任何一位美國的科學家或是工程師來講都是最高的榮譽。
十一、阿米爾·伯努利(Amir Pnueli)
1996年因「開創性地將時序邏輯引入計算機科學和對程序和系統驗證領域的貢獻」而獲獎
以色列學者阿米爾·伯努利(Amir Pnueli)是著名的計算機科學家,他曾得到了海法以色列理工學院的數學學士學位和博士學位,是著名的以色列魏茨曼學院應用數學系教授。伯努利在斯坦福大學擔任博士後研究員期間,他轉到計算機科學專業。他的計算機科學着做側重於時態邏輯和模型檢查,特別是關於併發系統的公平性。他的論文主題是「海洋潮汐的計算」。1996年因「開創性地將時序邏輯引入計算機科學和對程序和系統驗證領域的傑出貢獻」而得到圖靈獎,以彰顯他把時態邏輯引入計算機科學所作的貢獻。
總結
上面是從1966年到1996年的11位猶太科學家圖靈獎得到者,剩下的11位咱們將下次發表。
-END-
猜你喜歡
[](http://mp.weixin.qq.com/s?__b...引全球「圍觀」的創業國以色列再掀融資熱潮?[](http://mp.weixin.qq.com/s?__b...
知以文化
知以成功搭建中以商業精英的交流學習與投融資平臺,至今已組織60多個團組,近1000中國企業家訪問以色列。知以同時積極參與中國資本對以色列投資,至今已經促成了雙方的多項重要交易,對以色列投融資額度超過3500萬美圓。知以積極宣傳以色列創業創新,致力於深層次提升中國企業家對以色列的認知,並促成雙方的各類科技、資本與人文層面的合做。
長按掃碼關注「知以」
(歡迎廣大讀者前來投稿,稿件一旦被採納將有神祕禮物贈送)