版權(quán)說(shuō)明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請(qǐng)進(jìn)行舉報(bào)或認(rèn)領(lǐng)
文檔簡(jiǎn)介
轉(zhuǎn)自:/content/1167588計(jì)算機(jī)世界最具影響力的20人1、約翰?馮?諾依曼(JohnVonNeuman,1903-1957)
被譽(yù)為“電子計(jì)算機(jī)之父”。他對(duì)人類的最大貢獻(xiàn)是對(duì)計(jì)算機(jī)科學(xué)、計(jì)算機(jī)技術(shù)和數(shù)值分析的開拓性工作,1946年發(fā)明電子計(jì)算機(jī)。
約翰·馮·諾依曼(JohnVonNouma,1903-1957),美藉匈牙利人,1903年12月28日生于匈牙利的布達(dá)佩斯,父親是一個(gè)銀行家,家境富裕,十分注意對(duì)孩子的教育。馮·諾依曼從小聰穎過(guò)人,興趣廣泛,讀書過(guò)目不忘。據(jù)說(shuō)他6歲時(shí)就能用古希臘語(yǔ)同父親閑談,一生掌握了七種語(yǔ)言。最擅德語(yǔ),可在他用德語(yǔ)思考種種設(shè)想時(shí),又能以閱讀的速度譯成英語(yǔ)。他對(duì)讀過(guò)的書籍和論文。能很快一句不差地將內(nèi)容復(fù)述出來(lái),而且若干年之后,仍可如此。1911年一1921年,馮·諾依曼在布達(dá)佩斯的盧瑟倫中學(xué)讀書期間,就嶄露頭角而深受老師的器重。在費(fèi)克特老師的個(gè)別指導(dǎo)下并合作發(fā)表了第一篇數(shù)學(xué)論文,此時(shí)馮·諾依曼還不到18歲。1921年一1923年在蘇黎世大學(xué)學(xué)習(xí)。很快又在1926年以優(yōu)異的成績(jī)獲得了布達(dá)佩斯大學(xué)數(shù)學(xué)博士學(xué)位,此時(shí)馮·諾依曼年僅22歲。1927年一1929年馮·諾依曼相繼在柏林大學(xué)和漢堡大學(xué)擔(dān)任數(shù)學(xué)講師。1930年接受了普林斯頓大學(xué)客座教授的職位,西渡美國(guó)。1931年成為該校終身教授。1933年轉(zhuǎn)到該校的高級(jí)研究所,成為最初六位教授之一,并在那里工作了一生。馮·諾依曼是普林斯頓大學(xué)、賓夕法尼亞大學(xué)、哈佛大學(xué)、伊斯坦堡大學(xué)、馬里蘭大學(xué)、哥倫比亞大學(xué)和慕尼黑高等技術(shù)學(xué)院等校的榮譽(yù)博士。他是美國(guó)國(guó)家科學(xué)院、秘魯國(guó)立自然科學(xué)院和意大利國(guó)立林且學(xué)院等院的院土。1954年他任美國(guó)原子能委員會(huì)委員;1951年至1953年任美國(guó)數(shù)學(xué)會(huì)主席。
1954年夏,馮·諾依曼被使現(xiàn)患有癌癥,1957年2月8日,在華盛頓去世,終年54歲。
馮·諾依曼在數(shù)學(xué)的諸多領(lǐng)域都進(jìn)行了開創(chuàng)性工作,并作出了重大貢獻(xiàn)。在第二次世界大戰(zhàn)前,他主要從事算子理論、鼻子理論、集合論等方面的研究。1923年關(guān)于集合論中超限序數(shù)的論文,顯示了馮·諾依曼處理集合論問(wèn)題所特有的方式和風(fēng)格。他把集會(huì)論加以公理化,他的公理化體系奠定了公理集合論的基礎(chǔ)。他從公理出發(fā),用代數(shù)方法導(dǎo)出了集合論中許多重要概念、基本運(yùn)算、重要定理等。特別在1925年的一篇論文中,馮·諾依曼就指出了任何一種公理化系統(tǒng)中都存在著無(wú)法判定的命題。
1933年,馮·諾依曼解決了希爾伯特第5問(wèn)題,即證明了局部歐幾里得緊群是李群。1934年他又把緊群理論與波爾的殆周期函數(shù)理論統(tǒng)一起來(lái)。他還對(duì)一般拓?fù)淙旱慕Y(jié)構(gòu)有深刻的認(rèn)識(shí),弄清了它的代數(shù)結(jié)構(gòu)和拓?fù)浣Y(jié)構(gòu)與實(shí)數(shù)是一致的。他對(duì)其子代數(shù)進(jìn)行了開創(chuàng)性工作,并莫定了它的理論基礎(chǔ),從而建立了算子代數(shù)這門新的數(shù)學(xué)分支。這個(gè)分支在當(dāng)代的有關(guān)數(shù)學(xué)文獻(xiàn)中均稱為馮·諾依曼代數(shù)。這是有限維空間中矩陣代數(shù)的自然推廣。馮·諾依曼還創(chuàng)立了博奕論這一現(xiàn)代數(shù)學(xué)的又一重要分支。1944年發(fā)表了奠基性的重要論文《博奕論與經(jīng)濟(jì)行為》。論文中包含博奕論的純粹數(shù)學(xué)形式的闡述以及對(duì)于實(shí)際博奕應(yīng)用的詳細(xì)說(shuō)明。文中還包含了諸如統(tǒng)計(jì)理論等教學(xué)思想。馮·諾依曼在格論、連續(xù)幾何、理論物理、動(dòng)力學(xué)、連續(xù)介質(zhì)力學(xué)、氣象計(jì)算、原子能和經(jīng)濟(jì)學(xué)等領(lǐng)域都作過(guò)重要的工作。
馮·諾依曼對(duì)人類的最大貢獻(xiàn)是對(duì)計(jì)算機(jī)科學(xué)、計(jì)算機(jī)技術(shù)和數(shù)值分析的開拓性工作。
現(xiàn)在一般認(rèn)為ENIAC機(jī)是世界第一臺(tái)電子計(jì)算機(jī),它是由美國(guó)科學(xué)家研制的,于1946年2月14日在費(fèi)城開始運(yùn)行。其實(shí)由湯米、費(fèi)勞爾斯等英國(guó)科學(xué)家研制的"科洛薩斯"計(jì)算機(jī)比ENIAC機(jī)問(wèn)世早兩年多,于1944年1月10日在布萊奇利園區(qū)開始運(yùn)行。ENIAC機(jī)證明電子真空技術(shù)可以大大地提高計(jì)算技術(shù),不過(guò),ENIAC機(jī)本身存在兩大缺點(diǎn):(1)沒(méi)有存儲(chǔ)器;(2)它用布線接板進(jìn)行控制,甚至要搭接見(jiàn)天,計(jì)算速度也就被這一工作抵消了。ENIAC機(jī)研制組的莫克利和??颂仫@然是感到了這一點(diǎn),他們也想盡快著手研制另一臺(tái)計(jì)算機(jī),以便改進(jìn)。
馮·諾依曼由ENIAC機(jī)研制組的戈?duì)柕滤雇⒅形窘榻B參加ENIAC機(jī)研制小組后,便帶領(lǐng)這批富有創(chuàng)新精神的年輕科技人員,向著更高的目標(biāo)進(jìn)軍。1945年,他們?cè)诠餐懻摰幕A(chǔ)上,發(fā)表了一個(gè)全新的"存儲(chǔ)程序通用電子計(jì)算機(jī)方案"--EDVAC(ElectronicDiscreteVariableAutomaticCompUter的縮寫)。在這過(guò)程中,馮·諾依曼顯示出他雄厚的數(shù)理基礎(chǔ)知識(shí),充分發(fā)揮了他的顧問(wèn)作用及探索問(wèn)題和綜合分析的能力。
EDVAC方案明確奠定了新機(jī)器由五個(gè)部分組成,包括:運(yùn)算器、邏輯控制裝置、存儲(chǔ)器、輸入和輸出設(shè)備,并描述了這五部分的職能和相互關(guān)系。EDVAC機(jī)還有兩個(gè)非常重大的改進(jìn),即:(1)采用了二進(jìn)制,不但數(shù)據(jù)采用二進(jìn)制,指令也采用二進(jìn)制;(2建立了存儲(chǔ)程序,指令和數(shù)據(jù)便可一起放在存儲(chǔ)器里,并作同樣處理。簡(jiǎn)化了計(jì)算機(jī)的結(jié)構(gòu),大大提高了計(jì)算機(jī)的速度。1946年7,8月間,馮·諾依曼和戈?duì)柕滤雇?、勃克斯在EDVAC方案的基礎(chǔ)上,為普林斯頓大學(xué)高級(jí)研究所研制IAS計(jì)算機(jī)時(shí),又提出了一個(gè)更加完善的設(shè)計(jì)報(bào)告《電子計(jì)算機(jī)邏輯設(shè)計(jì)初探》。以上兩份既有理論又有具體設(shè)計(jì)的文件,首次在全世界掀起了一股"計(jì)算機(jī)熱",它們的綜合設(shè)計(jì)思想,便是著名的"馮·諾依曼機(jī)",其中心就是有存儲(chǔ)程序
原則--指令和數(shù)據(jù)一起存儲(chǔ)。這個(gè)概念被譽(yù)為’計(jì)算機(jī)發(fā)展史上的一個(gè)里程碑"。它標(biāo)志著電子計(jì)算機(jī)時(shí)代的真正開始,指導(dǎo)著以后的計(jì)算機(jī)設(shè)計(jì)。自然一切事物總是在發(fā)展著的,隨著科學(xué)技術(shù)的進(jìn)步,今天人們又認(rèn)識(shí)到"馮·諾依曼機(jī)"的不足,它妨礙著計(jì)算機(jī)速度的進(jìn)一步提高,而提出了"非馮·諾依曼機(jī)"的設(shè)想。馮·諾依曼還積極參與了推廣應(yīng)用計(jì)算機(jī)的工作,對(duì)如何編制程序及搞數(shù)值計(jì)算都作出了杰出的貢獻(xiàn)。馮·諾依曼于1937年獲美國(guó)數(shù)學(xué)會(huì)的波策獎(jiǎng);1947年獲美國(guó)總統(tǒng)的功勛獎(jiǎng)?wù)?、美?guó)海軍優(yōu)秀公民服務(wù)獎(jiǎng);1956年獲美國(guó)總統(tǒng)的自由獎(jiǎng)?wù)潞蛺?ài)因斯坦紀(jì)念獎(jiǎng)以及費(fèi)米獎(jiǎng)。
馮·諾依曼逝世后,未完成的手稿于1958年以《計(jì)算機(jī)與人腦》為名出版。他的主要著作收集在六卷《馮·諾依曼全集》中,1961年出版。2、E艾茲格·迪科斯徹dsgerWybeDijkstra(1930-2002)
荷蘭計(jì)算機(jī)科學(xué)家,圖靈獎(jiǎng)獲得者。他提出了目前離散數(shù)學(xué)應(yīng)用廣泛的最短路徑算法,解決了有趣的“哲學(xué)家聚餐”問(wèn)題。艾茲格·W·迪科斯徹(EdsgerWybeDijkstra,1930年5月11日~2002年8月6日)荷蘭人。計(jì)算機(jī)科學(xué)家,畢業(yè)就職于荷蘭Leiden大學(xué),早年鉆研物理及數(shù)學(xué),而后轉(zhuǎn)為計(jì)算學(xué)。曾在1972年獲得過(guò)素有計(jì)算機(jī)科學(xué)界的諾貝爾獎(jiǎng)之稱的圖靈獎(jiǎng),之后,他還獲得過(guò)1974年AFIPSHarryGoodeMemorialAward、1989年ACMSIGCSE計(jì)算機(jī)科學(xué)教育教學(xué)杰出貢獻(xiàn)獎(jiǎng)、以及2002年ACMPODC最具影響力論文獎(jiǎng)?,F(xiàn)代程序設(shè)計(jì)的框架結(jié)構(gòu)的奠基人。設(shè)計(jì)與實(shí)現(xiàn)了第一個(gè)ALGOL60編譯器,第一個(gè)提出goto有害論,是著名的Dijkstra最短路徑算法的作者。EdsgerDijkstra是50年代ALGOL語(yǔ)言的一個(gè)主要貢獻(xiàn)者。ALGOL高級(jí)編程語(yǔ)言已經(jīng)成為結(jié)構(gòu)清晰,數(shù)學(xué)基礎(chǔ)嚴(yán)謹(jǐn)?shù)囊粋€(gè)典范。Dijkstra是現(xiàn)代編程語(yǔ)言的主要貢獻(xiàn)者之一,為我們理解程序語(yǔ)言的結(jié)構(gòu),表示方法與實(shí)現(xiàn)做出了巨大的貢獻(xiàn)。Dijkstra15年的學(xué)術(shù)著作覆蓋了圖論的理論工作,教育手冊(cè),解釋文章和編程語(yǔ)言領(lǐng)域的哲學(xué)思考。他是最先察覺(jué)“goto有害”的計(jì)算機(jī)科學(xué)大師.Dijkstra還設(shè)計(jì)與實(shí)現(xiàn)了第一個(gè)ALGOL60編譯器。
在現(xiàn)代編程語(yǔ)言方面,E.W.Dijkstra也以他著名的反對(duì)(過(guò)分)使用GOTO語(yǔ)句的文章而著名。1968年,Dijkstra撰寫了其“GoToStatementConsideredHarmful”一文。這篇文章被認(rèn)為是現(xiàn)代編程語(yǔ)言逐漸不鼓勵(lì)使用GOTO語(yǔ)句,而使用編程控制結(jié)構(gòu),如whileloop等等的一個(gè)分水嶺。
Dijkstra也是著名的Dijkstra最短路徑算法的作者。
Dijkstra是操作系統(tǒng)中Semaphore的提出者。
Dijkstra1930年5月11日出身于theNetherlands(荷蘭)Rotterdam.去世于2002年8月6日.
年輕時(shí)代,Dijkstra在UniversityofLeiden,theNetherlands.Leiden大學(xué)是荷蘭最古老的大學(xué)。學(xué)習(xí)理論物理,但很快他就意識(shí)到其興趣不在于理論物理雖然獲得了其數(shù)學(xué)和理論物理的學(xué)位。后來(lái),Dijkstra獲得了Amsterdam大學(xué)博士學(xué)位.
1952年-1962年,Dijkstra是MaterematischCentrum,Amsterdam的一個(gè)程序員。
1962年-1984年,作為一個(gè)數(shù)學(xué)教授任職與EindhovenUnviersityofTechnology.
1972年獲第6屆圖靈獎(jiǎng)。
1984年至1999年,作為計(jì)算機(jī)系系主任任職與美國(guó)UTAustin分校,并于1999年退休。
2002年4月1日去世。3、阿蘭?麥席森?圖靈(AlanMathisonTuring,1912-1954)
英國(guó)數(shù)學(xué)家、邏輯學(xué)家,計(jì)算機(jī)之父。圖靈提出了著名的圖靈機(jī)模型。他對(duì)于人工智能的發(fā)展有諸多貢獻(xiàn),提出了一種用于判定機(jī)器是否具有智能的試驗(yàn)方法,即圖靈試驗(yàn)。
阿蘭·麥席森·圖靈AlanMathisonTuring,6月23日生于英國(guó)倫敦。是英國(guó)著名的數(shù)學(xué)家和邏輯學(xué)家,被稱為計(jì)算機(jī)科學(xué)之父、人工智能之父,是計(jì)算機(jī)邏輯的奠基者,提出了“圖靈機(jī)”和“圖靈測(cè)試”等重要概念。人們?yōu)榧o(jì)念其在計(jì)算機(jī)領(lǐng)域的卓越貢獻(xiàn)而設(shè)立“圖靈獎(jiǎng)”。
1912年6月23日,出生于英國(guó)倫敦。1931年-1934年,在英國(guó)劍橋大學(xué)國(guó)王學(xué)院(King'sCollege)學(xué)習(xí)。1932年-1935年,主要研究量子力學(xué)、概率論和邏輯學(xué)。1935年,年僅23歲的圖靈,被選為劍橋大學(xué)國(guó)王學(xué)院院士。1936年,主要研究可計(jì)算理論,并提出“圖靈機(jī)”的構(gòu)想。1936年-1938年,主要在美國(guó)普林斯頓大學(xué)做博士研究,涉及邏輯學(xué)、代數(shù)和數(shù)論等領(lǐng)域。1938-1939年,返回劍橋從事研究工作,并應(yīng)邀加入英國(guó)政府破譯二戰(zhàn)德軍密碼的工作。1940年-1942年,作為主要參與者和貢獻(xiàn)者之一,在破譯納粹德國(guó)通訊密碼的工作上成就杰出,并成功破譯了德軍U-潛艇密碼,為扭轉(zhuǎn)二戰(zhàn)盟軍的大西洋戰(zhàn)場(chǎng)戰(zhàn)局立下汗馬功勞。1943年-1945年,擔(dān)任英美密碼破譯部門的總顧問(wèn)。1945年,應(yīng)邀在英國(guó)國(guó)家物理實(shí)驗(yàn)室從事計(jì)算機(jī)理論研究工作。1946年,這個(gè)時(shí)候,圖靈在計(jì)算機(jī)和程序設(shè)計(jì)原始理論上的構(gòu)思和成果,已經(jīng)確定了他的理論開創(chuàng)者的地位。由于圖靈的杰出貢獻(xiàn),年輕的他被英國(guó)皇室授予OBE爵士勛銜。1947年-1948年,主要從事計(jì)算機(jī)程序理論的研究,并同時(shí)在神經(jīng)網(wǎng)絡(luò)和人工智能領(lǐng)域做出開創(chuàng)性的理論研究。1948年,應(yīng)邀加入英國(guó)曼徹斯特大學(xué)從事研究工作,擔(dān)任曼徹斯特大學(xué)計(jì)算實(shí)驗(yàn)室副主任。1949年,成為世界上第一位把計(jì)算機(jī)實(shí)際用于數(shù)學(xué)研究的科學(xué)家。1950年,發(fā)表論文“計(jì)算機(jī)器與智能”,為后來(lái)的人工智能科學(xué)提供了開創(chuàng)性的構(gòu)思。提出著名的“圖靈測(cè)試”理論。1951年,從事生物的非線性理論研究。年僅39歲的圖靈,被選為英國(guó)皇家學(xué)會(huì)會(huì)員。1952年,在當(dāng)年保守和冷戰(zhàn)的時(shí)代,當(dāng)警察得知圖靈與同性朋友密切交往的消息之后,同性戀傾向的圖靈被逮捕入獄。在法庭審判過(guò)程中,圖靈明確告知人們,他認(rèn)為自己沒(méi)有做錯(cuò)什么事。在那個(gè)觀念相對(duì)保守的年代,為了避免被判刑入獄,圖靈被迫選擇了為期一年的雌性激素注射的所謂“治療”,才得以重新返回研究工作。1953年-1954年,繼續(xù)在生物和物理學(xué)等方面的研究。被迫承受的對(duì)同性戀傾向的“治療”,致使原本熱愛(ài)體育運(yùn)動(dòng)的圖靈在身心上受到極大的傷害。1954年6月7日,圖靈被發(fā)現(xiàn)死于家中的床上,床頭還放著一個(gè)被咬了一口的蘋果。警方調(diào)查后認(rèn)為是氰化物中毒,調(diào)查結(jié)論為自殺。4、羅賓?米爾納(RobinMilner,1934-)
圖靈獎(jiǎng)獲得者。他開發(fā)了函數(shù)式編程語(yǔ)言ML,并和他的同事一起完成了一個(gè)最早的自動(dòng)定理證明工具--LCF的開發(fā),提出了許多被廣泛研究的并發(fā)計(jì)算模型:CCS、PI演算。羅賓·米爾納(RobinMilner),英國(guó)計(jì)算機(jī)科學(xué)家。生于1934年1月13日。1991年獲得圖靈獎(jiǎng)。在計(jì)算機(jī)程序設(shè)計(jì)語(yǔ)言方面,米爾納和戈頓等人一起提出了形式化邏輯系統(tǒng)的數(shù)學(xué)模型,實(shí)現(xiàn)了他稱之為L(zhǎng)CF的一個(gè)系統(tǒng)——“可計(jì)算函數(shù)的邏輯”。另一方面的貢獻(xiàn)是關(guān)于并發(fā)計(jì)算(concurrentcomputing)和并行計(jì)算(parallelcomputing)的。另一方面的貢獻(xiàn)是關(guān)于并發(fā)計(jì)算(concurrentcomputing)和并行計(jì)算(parallelcomputing)的。1958年從英國(guó)劍橋大學(xué)國(guó)王學(xué)院畢業(yè),之后的第一個(gè)工作是教師,然后在Ferranti公司當(dāng)程序員。回到學(xué)術(shù)界,先后在City大學(xué),Swansea大學(xué),斯坦福大學(xué)任職。1973年回到英國(guó)愛(ài)丁堡大學(xué),在愛(ài)丁堡大學(xué)任職期間,他開發(fā)了函數(shù)式編程語(yǔ)言,ML,并和他的同事一起完成了LCF的開發(fā)。在離開愛(ài)丁堡前,羅賓·米爾納向現(xiàn)在的愛(ài)丁堡大學(xué)信息學(xué)院([[1]])提供了一筆捐款并成立了每年一次在愛(ài)丁堡大學(xué)信息學(xué)院舉行的以他名字名名的羅賓·米爾納演講([2]),被邀請(qǐng)的演講者都是對(duì)理論計(jì)算機(jī)科學(xué)有重大貢獻(xiàn)的學(xué)者。1995年,羅賓·米爾納回到母校劍橋,并擔(dān)任劍橋大學(xué)計(jì)算機(jī)實(shí)驗(yàn)室主任,現(xiàn)為劍橋大學(xué)計(jì)算機(jī)實(shí)驗(yàn)室教授。
1991年的圖靈獎(jiǎng)授予給了愛(ài)丁堡大學(xué)計(jì)算機(jī)科學(xué)系教授羅賓·米爾納(RobinMilner)。他是繼威爾克斯(M.V.Wilkes,1967)、威爾金森(J.H.Wilkinson,1970)和霍爾(C.A.R.Hoare,1980)之后第四位獲此殊榮的英國(guó)科學(xué)家,這也使英國(guó)成為除美國(guó)之外獲得圖靈獎(jiǎng)的學(xué)者最多的國(guó)家。米爾納的主要貢獻(xiàn)在計(jì)算機(jī)程序設(shè)計(jì)語(yǔ)言方面,他提出了形式化邏輯系統(tǒng)的一個(gè)數(shù)學(xué)模型LCF,又主持開發(fā)了元語(yǔ)言ML并使之標(biāo)準(zhǔn)化。米爾納還利用代數(shù)方法為并發(fā)與并行計(jì)算創(chuàng)建了一種概念框架系統(tǒng)CCS,推動(dòng)并促進(jìn)了并發(fā)與并行計(jì)算的發(fā)展。5、丹尼斯?里奇(DennisMacAlistairRitchie,1941-)
C語(yǔ)言之父。著名的美國(guó)計(jì)算機(jī)科學(xué)家,朗訊技術(shù)公司系統(tǒng)軟件研究部門的領(lǐng)導(dǎo)人,杜林獎(jiǎng)、圖靈獎(jiǎng)獲得者,C語(yǔ)言創(chuàng)始人,對(duì)其他編程語(yǔ)言、Multics和Unix等操作系統(tǒng)的發(fā)展做出了巨大貢獻(xiàn)。
Ritchie生于1941年9月9日的紐約Bronxville,獲得學(xué)士學(xué)位并且獲得哈佛大學(xué)博士學(xué)位,在哈佛,先是學(xué)習(xí)物理,而后轉(zhuǎn)向應(yīng)用數(shù)學(xué)。正是在這時(shí)候,一個(gè)偶然的機(jī)會(huì)改變了他一生的選擇。
大約1960年,Ritchie聽(tīng)取一些非課程類的計(jì)算機(jī)講座后,開始對(duì)計(jì)算機(jī)著迷,并選擇了一學(xué)期正規(guī)(介紹性的)課程。第一部分是模擬計(jì)算機(jī),后面是關(guān)于打孔卡片設(shè)備的,然后才是關(guān)于真正的數(shù)字式計(jì)算機(jī)的,并為UnivacI號(hào)機(jī)準(zhǔn)備了一個(gè)程序。當(dāng)時(shí)他是一個(gè)主修物理的學(xué)生,但是更加著迷于計(jì)算機(jī)處理的理論和實(shí)際問(wèn)題。因此,他的畢業(yè)論文大部分是理論方面的,例如1968年獲得數(shù)學(xué)博士時(shí)的論文《遞歸函數(shù)的的層次》;但是他也開始投入更大精力到實(shí)踐方面,例如,作為助手,在IBM7049計(jì)算機(jī)上用了三年時(shí)間為同一個(gè)介紹性課程做后續(xù)版本。
在Ritchie的成長(zhǎng)歷程中,有兩個(gè)人對(duì)他的影響最大,一個(gè)是他父親AlistairE.Ritchie,而另一個(gè)是他的摯友,同為UNIX發(fā)明人的KenThompson。
由于父親的指引,他進(jìn)入全球知名的研發(fā)機(jī)構(gòu)——貝爾實(shí)驗(yàn)室。Dennis的父親在貝爾實(shí)驗(yàn)室有長(zhǎng)時(shí)間的工作經(jīng)歷,對(duì)晶體管電路類的東西很有研究。1967年在父親指引下加入貝爾實(shí)驗(yàn)室。不久后,加入了Multics(MultiplexedInformationandComputingSystem)項(xiàng)目,正是這個(gè)項(xiàng)目,使得他和KenThompsom有了合作的機(jī)會(huì)。該項(xiàng)目由貝爾實(shí)驗(yàn)室、麻省理工學(xué)院和通用電器三家合作,Ritchie負(fù)責(zé)多道處理機(jī)的BCPL語(yǔ)言和GE650的編譯器,它們都是屬于GECOS系統(tǒng)的,同樣的,他也寫了ALTRAN語(yǔ)言的代數(shù)編譯器,那是用于符號(hào)計(jì)算機(jī)的一種語(yǔ)言和系統(tǒng)。
獲獎(jiǎng)情況:
1974年,美國(guó)計(jì)算機(jī)協(xié)會(huì)(ACM)授予他系統(tǒng)及語(yǔ)言杰出論文獎(jiǎng)。
1982年,電氣和電子工程師協(xié)會(huì)(IEEE)授予他EmmanuelPiore獎(jiǎng)。
1983年,他獲得了貝爾實(shí)驗(yàn)室特別人員獎(jiǎng)。
1983年,還獲得美國(guó)計(jì)算機(jī)協(xié)會(huì)頒發(fā)的圖靈獎(jiǎng)(又稱計(jì)算機(jī)界的諾貝爾獎(jiǎng))。
1989年,他獲得了NEC公司的C&C基金獎(jiǎng)。
1990年,電氣和電子工程師協(xié)會(huì)又給他頒發(fā)了優(yōu)秀獎(jiǎng)?wù)拢℉ammingMedal)。
1999年,他和同為UNIX之父的KenThompson獲得美國(guó)國(guó)家技術(shù)獎(jiǎng)?wù)隆?/p>
6、詹姆斯?戈士林(JamesGosling,1955-)
詹姆斯·戈士林現(xiàn)任Sun公司副總裁及Sun研究院院士。
戈士林先生以“Java技術(shù)之父”而聞名于世。他是Java技術(shù)的創(chuàng)始人,他親手設(shè)計(jì)了Java語(yǔ)言,并開發(fā)了Java編譯器和Java虛擬機(jī),使Java成為了世界上最流行的開發(fā)語(yǔ)言。Java支持的計(jì)算模式,已經(jīng)成為了互聯(lián)網(wǎng)的標(biāo)準(zhǔn)編程模式以及分布式企業(yè)級(jí)應(yīng)用的事實(shí)標(biāo)準(zhǔn)。目前,戈士林先生積極致力于研究軟件開發(fā)工具,使它們功能更為強(qiáng)大,更容易為開發(fā)人員所使用,能夠快速地開發(fā)應(yīng)用。
他創(chuàng)建了衛(wèi)星數(shù)據(jù)攔截系統(tǒng),Unix的多處理器版本,若干編譯器、郵件系統(tǒng)和視窗管理器。
JamesGosling從小就喜歡技術(shù),愛(ài)鼓搗東西。12歲的時(shí)候,他用報(bào)廢的電話機(jī)和電視機(jī)中的部件做了一臺(tái)電子游戲機(jī)。附近農(nóng)民的康拜因(聯(lián)合收割機(jī))出了問(wèn)題也常常找他修理。14歲的時(shí)候,中學(xué)組織到附近大學(xué)參觀,他記住了大學(xué)計(jì)算中心的門鎖密碼,從此開始偷偷地溜進(jìn)計(jì)算中心,學(xué)習(xí)計(jì)算機(jī)編程。一年后,大學(xué)的天文系招他當(dāng)了一名臨時(shí)編程員,編寫計(jì)算機(jī)程序來(lái)分析衛(wèi)星天文數(shù)據(jù)。80年代初,JamesGosling獲得博士學(xué)位后到IBM工作,設(shè)計(jì)IBM第一代工作站。當(dāng)時(shí),IBM的領(lǐng)導(dǎo)層并不看重工作站項(xiàng)目。失望之余,JamesGosling跳槽到了Sun公司。他花了五年功夫領(lǐng)導(dǎo)開發(fā)的和OS2很類似的SunNeWs窗口系統(tǒng),盡管得到技術(shù)界的好評(píng),卻未能變成流行的產(chǎn)品。當(dāng)時(shí)他還第一個(gè)用C實(shí)現(xiàn)的EMACS的所見(jiàn)即所得文本編輯器COSMACS。JamesGosling1955年生于加拿大。1977年獲得了加拿大卡爾加里大學(xué)計(jì)算機(jī)科學(xué)學(xué)士學(xué)位。1983年獲得了美國(guó)卡耐基-梅隆大學(xué)計(jì)算機(jī)科學(xué)博士學(xué)位,博士論文的題目是:"TheAlgebraicManipulationofConstraints"。1983年到IBM工作,設(shè)計(jì)IBM第一代工作站NeWS系統(tǒng),但不被看好;1984年加入Sun公司,并一直服務(wù)于Sun公司,直至Sun被收購(gòu);1990年,在Sun公司,與PatrickNaughton和MikeSheridan等人合作“綠色計(jì)劃”,并發(fā)展一套語(yǔ)言叫做“Oak”,后改名為Java;2010年,隨著Sun被Oracle并購(gòu)而加入Oracle,擔(dān)任客戶端軟件集團(tuán)的首席技術(shù)官;2010年4月從Oracle離職。7、bjarneStroustrup(1950-)
Bjarne1950年出生在丹麥,對(duì)于軟件開發(fā)界,丹麥不僅是一個(gè)童話王國(guó),還是群星閃耀大師頻出的地方。Delphi和C#之父Anders、RubyonRails創(chuàng)始人DHH都是丹麥人。1975年,Bjane獲得丹麥奧胡斯大學(xué)的數(shù)學(xué)和計(jì)算機(jī)科學(xué)碩士學(xué)位,又于1979年獲得英國(guó)劍橋大學(xué)的計(jì)算機(jī)科學(xué)博士學(xué)位。
此后20余年,Bjarne一直就職于貝爾實(shí)驗(yàn)室Large-scaleProgramming(大型程序設(shè)計(jì)研究部)實(shí)驗(yàn)室。貝爾實(shí)驗(yàn)室的工作可以大致分為三個(gè)類別:基礎(chǔ)研究,系統(tǒng)工程和應(yīng)用開發(fā)。Bjarne就職于開發(fā)部門,這是貝爾實(shí)驗(yàn)室最大的部門,負(fù)責(zé)設(shè)計(jì)構(gòu)成貝爾系統(tǒng)電信網(wǎng)絡(luò)的設(shè)備和軟件。
這是一段難得的經(jīng)歷。上世紀(jì)七八十年代,貝爾實(shí)驗(yàn)室一直站在計(jì)算機(jī)科學(xué)和應(yīng)用軟件開發(fā)的前沿,C++之前,這里是Unix系統(tǒng)和C語(yǔ)言的發(fā)源地。
1970年,在貝爾實(shí)驗(yàn)室工作的Unix之父KenThompson將BCPL語(yǔ)言(BCPL是劍橋大學(xué)1963年改造自ALGOL60的語(yǔ)言)進(jìn)行了修改,KenThompson為它起了一個(gè)有趣的名字“B語(yǔ)言”,并用B語(yǔ)言寫了第一個(gè)UNIX操作系統(tǒng)。
1972年,貝爾實(shí)驗(yàn)室的D.M.Ritchie在B語(yǔ)言的基礎(chǔ)上最終設(shè)計(jì)出了一種新的語(yǔ)言,他取了BCPL的第二個(gè)字母作為這種語(yǔ)言的名字,這就是C語(yǔ)言。
自1978年貝爾實(shí)驗(yàn)室正式發(fā)布C語(yǔ)言以來(lái),C以簡(jiǎn)潔緊湊的風(fēng)格,面向過(guò)程的編程方式,豐富的數(shù)據(jù)結(jié)構(gòu)和強(qiáng)大的底層控制能力獲得迅速發(fā)展。到上世紀(jì)80年代,C語(yǔ)言已經(jīng)成為最受歡迎的編程語(yǔ)言;許多著名的系統(tǒng)軟件,如DBASEⅢPLUS、DBASEⅣ都是由C語(yǔ)言編寫的。
作為貝爾實(shí)驗(yàn)室開發(fā)部門的架構(gòu)師,Bjarne體會(huì)到科學(xué)的嚴(yán)禁和苛刻,見(jiàn)證了C語(yǔ)言誕生和繁盛的過(guò)程;更重要的是,他感受到一門編程語(yǔ)言不僅對(duì)項(xiàng)目組的內(nèi)部工作起到作用,對(duì)整個(gè)軟件開發(fā)界甚至IT產(chǎn)業(yè),都產(chǎn)生推動(dòng)作用。Bjarne在上世紀(jì)80年代初期在C語(yǔ)言的基礎(chǔ)上,實(shí)現(xiàn)了內(nèi)建支持面向?qū)ο蟪绦蛟O(shè)計(jì)方法的CwithClasses。一開始C++是作為C語(yǔ)言的增強(qiáng)版出現(xiàn)的,從給C語(yǔ)言增加類開始,不斷的增加新特性。虛函數(shù)(virtualfunction)、運(yùn)算符重載(operatoroverloading)、多重繼承(multipleinheritance)、模板(template)、異常(exception)、RTTI、命名空間(namespace)逐漸被加入標(biāo)準(zhǔn)。
80年代末,C++開始以一門面向?qū)ο笳Z(yǔ)言的高級(jí)語(yǔ)言的獨(dú)立姿態(tài)出現(xiàn)在程序員面前,大家被面向?qū)ο蟮木幊趟枷氪騽?dòng),發(fā)現(xiàn)原來(lái)需求中的問(wèn)題可以如此脈絡(luò)清晰,程序設(shè)計(jì)也可以如此簡(jiǎn)單高效;更重要的是,C++在效率和平臺(tái)方面并不比C差(C++與C的效率往往相差在正負(fù)5%之間,有人認(rèn)為在大多數(shù)場(chǎng)合C++完全可以取代C語(yǔ)言)。面向?qū)ο蟮木幊趟枷腴_始席卷整個(gè)開發(fā)領(lǐng)域,標(biāo)準(zhǔn)模板庫(kù)(STL)和微軟的VC++平臺(tái)推波助瀾,C++開始流行起來(lái)。
經(jīng)過(guò)十年的發(fā)展,1998年C++標(biāo)準(zhǔn)委員會(huì)成立,國(guó)際標(biāo)準(zhǔn)組織(ISO)在這一年頒布了C++程序設(shè)計(jì)語(yǔ)言的國(guó)際標(biāo)準(zhǔn)ISO/IEC
1488-1998。C++成為具有國(guó)際標(biāo)準(zhǔn)的編程語(yǔ)言,通常稱作ANSI/ISOC++。1998年是C++標(biāo)準(zhǔn)委員會(huì)成立的第一年,以后每5年視實(shí)際需要更新一次標(biāo)準(zhǔn)。作為20年盛行不衰的一門編程語(yǔ)言,C++目前還占據(jù)這編程語(yǔ)言排行榜前三名的位置。BjarneStroustrup寫下了它的早期定義并做出了首個(gè)實(shí)現(xiàn),在C++流行之前,Bjarne選擇制定了C++的設(shè)計(jì)標(biāo)準(zhǔn),設(shè)計(jì)了C++主要的輔助支持環(huán)境,而且負(fù)責(zé)處理C++標(biāo)準(zhǔn)委員會(huì)的擴(kuò)展提案。而C++對(duì)整個(gè)軟件開發(fā)及IT業(yè)的貢獻(xiàn),不言而喻。憑借這些突出的貢獻(xiàn),BjarneStroustrup獲得了眾多贊譽(yù)和獎(jiǎng)項(xiàng):1990年,Bjarne榮獲《財(cái)富》雜志評(píng)選的“美國(guó)12位最年輕的科學(xué)家”稱號(hào)。1993年,由于在C++領(lǐng)域的重大貢獻(xiàn),Bjarne獲得了ACM該年度的GraceMurrayHopper大獎(jiǎng)并成為ACM院士(成立于1947年的ACM協(xié)會(huì)是歷史最悠久、目前世界上最大的教育和科學(xué)計(jì)算協(xié)會(huì),成為ACM院士是個(gè)人成就的里程碑)。1995年,BYTE雜志頒予他“近20年來(lái)計(jì)算機(jī)工業(yè)最具影響力的20人”的稱號(hào)。目前,C++仍在它所擅長(zhǎng)的領(lǐng)域發(fā)揮著不可或缺的作用。作為C++之父,BjarneStroustrup仍致力于C++標(biāo)準(zhǔn)的改進(jìn)和推廣,其著作《C++編程語(yǔ)言》、《C++的設(shè)計(jì)和演化》和《C++加注參考手冊(cè)》等已成為C++學(xué)習(xí)的經(jīng)典讀物。
8、約翰?華納?巴克斯(JohnWarnerBackus,
1924-2007)
約翰·巴克斯(JohnWarnerBackus)(1924年12月3日-2007年3月17日),美國(guó)計(jì)算機(jī)科學(xué)家,是全世界第一套高階語(yǔ)言(High-levelLanguage)FORTRAN的發(fā)明小組組長(zhǎng)。他提出了BNF(用來(lái)定義形式語(yǔ)言語(yǔ)法的記號(hào)法),發(fā)明Function-levelprogramming這個(gè)概念及實(shí)踐該概念的FP語(yǔ)言。1924年12月3日生于美國(guó)賓夕法尼亞州費(fèi)城,父親是阿特拉斯火藥公司的員工,后來(lái)轉(zhuǎn)職為證券經(jīng)紀(jì)人。巴克斯中學(xué)時(shí)念賓夕法尼亞州波茨敦市的希爾學(xué)校,平時(shí)不愛(ài)讀書,勉強(qiáng)畢業(yè),沒(méi)有什么過(guò)人之處。后來(lái)依照父親的要求,他在維吉尼亞大學(xué)修讀化學(xué),成績(jī)也不好。第二次世界大戰(zhàn)爆發(fā),他便改為參加美國(guó)陸軍,在佐治亞州服役,后來(lái)進(jìn)入哈弗福德學(xué)院(HaverfordCollege)的醫(yī)學(xué)院預(yù)科接受醫(yī)療訓(xùn)練,九個(gè)月后又退出了。在接受醫(yī)療訓(xùn)練期間,他被診斷出患有腦部腫瘤,并接受手術(shù)治療。他搬到紐約市,最初打算以無(wú)線電技術(shù)員為生。在訓(xùn)練過(guò)程中,他對(duì)數(shù)學(xué)產(chǎn)生極大興趣,于是他便在哥倫比亞大學(xué)修讀學(xué)位,于1949年以碩士學(xué)位畢業(yè),1950年加入IBM工作。巴克斯和同事海爾里克(H.Herrick)一起成功開發(fā)了Speedcoding的程序,適用于浮點(diǎn)數(shù)運(yùn)算。巴克斯在IBM工作了幾年,他對(duì)于機(jī)械式的程式設(shè)計(jì)感到厭煩,他希望能設(shè)計(jì)一套新式語(yǔ)言。1953年巴克斯向當(dāng)時(shí)IBM董事長(zhǎng)卡斯伯特·赫德提交了一分備忘錄,建議設(shè)計(jì)一種接近人類語(yǔ)言的編程語(yǔ)言代替機(jī)器語(yǔ)言,后來(lái)赫德批準(zhǔn)了這項(xiàng)計(jì)劃。1957年4月他所領(lǐng)導(dǎo)13人小組推出全世界第一套高階電腦語(yǔ)言FORTRAN,首次用在IBM704計(jì)算機(jī)上面,1958年推出FORTRANⅡ,幾年后又推出FORTRANⅢ,1962年推出FORTRANⅣ,被稱為FORTRAN語(yǔ)言之父。六十年代巴克斯轉(zhuǎn)到沃森研究中心,參加了ALGOL語(yǔ)言的設(shè)計(jì)。1977年10月17日在西雅圖舉行的ACM年會(huì)上獲得計(jì)算機(jī)界最高獎(jiǎng)圖靈獎(jiǎng),會(huì)中他發(fā)表了“程序設(shè)計(jì)能從馮·伊曼形式中解脫出來(lái)嗎?函數(shù)式風(fēng)格及其程序的代數(shù)”(CanProgrammingbeLiteratedfromthevonNeumannStyle?AFunctionalStyleandItsAlgebraofPrograms)演說(shuō)。1991年退休。1994年美國(guó)工程院授予他CharlesStarkDraper獎(jiǎng)。2007年3月17日在美國(guó)俄勒岡州的家中去世,享年82歲。9、約翰?麥卡錫(JohnMcCarthy,1927-)
計(jì)算機(jī)科學(xué)家、圖靈獎(jiǎng)獲得者。麥卡錫首次提出了“人工智能”這個(gè)概念,發(fā)明了LISP,在人工智能領(lǐng)域做出了突出貢獻(xiàn)。
1927年9月4日生于美國(guó)波士頓一個(gè)共產(chǎn)黨家庭,父母的工作性質(zhì)決定全家需不斷搬遷,從波士頓遷到紐約,然后又到了洛杉磯。麥卡錫是一個(gè)天賦很高的人,還在上初中時(shí),他就弄了一份加州理工大學(xué)的課程目錄,按目錄自學(xué)了大學(xué)低年級(jí)的高等數(shù)學(xué)教材,做了教材上的所有練習(xí)題。這使他1944年進(jìn)入加州理工學(xué)院以后可以免修頭兩年的數(shù)學(xué),并使他雖因戰(zhàn)時(shí)環(huán)境(第二次世界大戰(zhàn)當(dāng)時(shí)正在進(jìn)行之中,美國(guó)也在珍珠港事件后宣布參戰(zhàn))要在軍隊(duì)中充任一個(gè)小職員,占去了部分時(shí)間,仍得以·在1948年按時(shí)完成學(xué)業(yè),獲得加州理工學(xué)院數(shù)學(xué)學(xué)士學(xué)位。然后到普林斯頓大學(xué)研究生院深造,于1951年取得數(shù)學(xué)博士學(xué)位。麥卡錫留校工作兩年以后轉(zhuǎn)至斯坦福大學(xué),也只呆了兩年就去達(dá)特茅斯學(xué)院任教(達(dá)特茅斯學(xué)院位于新罕布什爾州的漢諾威)。在那里,他發(fā)起了并成功舉辦了成為人工智能起點(diǎn)的有歷史意義的“達(dá)特茅斯會(huì)議”。
1956年,麥卡錫首次提出“人工智能”(artificialintelligence)這一概念?,F(xiàn)在看來(lái),那次討論并沒(méi)有實(shí)質(zhì)上解決有關(guān)智能機(jī)的任何具體問(wèn)題,但它確立了研究目標(biāo),使人工智能成為計(jì)算機(jī)科學(xué)中一門獨(dú)立的經(jīng)驗(yàn)科學(xué)。
1957年巴庫(kù)斯(JohnBarkus)及其IBM小組發(fā)布了Fortran語(yǔ)言,這是第一個(gè)成功的高級(jí)語(yǔ)言,使程序設(shè)計(jì)者從繁瑣的匯編語(yǔ)言中解脫出來(lái)??▋?nèi)基梅龍大學(xué)的紐維爾(A.Newell)、司馬赫(H.Simon)等提出信息處理語(yǔ)言IPL,麥卡錫則提出表處理語(yǔ)言Lisp。在Fortran中不允許有遞歸,麥卡錫希望改進(jìn)它。1960年巴黎會(huì)議大家討論了Algol語(yǔ)言,采納了麥卡錫的建議,增加了遞歸和條件表達(dá)式。Algol最早接受了Lisp的觀念,但不是最后一個(gè)。如今的Pascal、C、Ada等都接受了Lisp的創(chuàng)新。但至今,主流程序設(shè)計(jì)語(yǔ)言仍然沒(méi)有吸收麥卡錫建議的“評(píng)價(jià)函數(shù)”(eval),認(rèn)為它很危險(xiǎn)。麥卡錫發(fā)明Lisp語(yǔ)言,只是把它作為工具,他的目標(biāo)是制造具有人類智能的機(jī)器。Lisp自發(fā)明以后,像其他語(yǔ)言一樣,發(fā)明人失去了對(duì)其的控制能力,馬庫(kù)斯和凱(A.Kay,“面向?qū)ο蟪绦蛟O(shè)計(jì)”的創(chuàng)始人)也一樣。
1958年麥卡錫到MIT任職,與明斯基一起組建了世界上第一個(gè)人工智能實(shí)驗(yàn)室,并第一個(gè)提出了將計(jì)算機(jī)的批處理方式改造成為能同時(shí)允許數(shù)十甚至上百用戶使用的分時(shí)方式的建議,并推動(dòng)MIT成立組織開展研究。其結(jié)果就是實(shí)現(xiàn)了世界上最早的分時(shí)系統(tǒng)——基于IBM7094的CTSS和其后的MULTICS。麥卡錫雖因與主持該課題的負(fù)責(zé)人產(chǎn)生矛盾而于1962年離開MIT重返斯坦福,未能將此項(xiàng)目堅(jiān)持到底,但學(xué)術(shù)界仍公認(rèn)他是分時(shí)概念的創(chuàng)始人。1959年麥卡錫發(fā)表《具有常識(shí)的程序》一文,標(biāo)志著他向“常識(shí)邏輯推理”難題開始宣戰(zhàn)?!芭c所有專門化的理論一樣,所有科學(xué)也都體現(xiàn)于常識(shí)中。當(dāng)你試圖證明這些理論時(shí),你就回到了常識(shí)推理,因?yàn)槌WR(shí)指導(dǎo)著你的實(shí)驗(yàn)?!痹O(shè)想一個(gè)旅行者從英國(guó)格拉斯哥經(jīng)過(guò)倫敦去莫斯科,計(jì)算機(jī)程序可以分段處理:從格拉斯哥到倫敦,再?gòu)膫惗氐侥箍啤5侨绻僭O(shè)此人不幸在倫敦丟失了機(jī)票怎么辦?當(dāng)然現(xiàn)實(shí)中此人一般不會(huì)因此取消原來(lái)去莫斯科的計(jì)劃,他可能會(huì)再買一張票。但是預(yù)先設(shè)計(jì)好的模擬程序卻不允許如此靈活。因此要發(fā)展一種具有常識(shí)推理能力的邏輯。麥卡錫發(fā)明了LISP并于1960年將其設(shè)計(jì)發(fā)表在《美國(guó)計(jì)算機(jī)學(xué)會(huì)通訊》(en:CommunicationsoftheACM)上。他幫助推動(dòng)了麻省理工學(xué)院的MAC項(xiàng)目(en:ProjectMAC)。然而,他在1962年了離開麻省理工學(xué)院,前往斯坦福大學(xué)并在那里協(xié)助建立了斯坦福人工智能實(shí)驗(yàn)室(en:StanfordArtificialIntelligenceLaboratory),成為MAC項(xiàng)目多年來(lái)的一個(gè)友好的競(jìng)爭(zhēng)對(duì)手。1964年麥卡錫已是斯坦福大學(xué)人工智能實(shí)驗(yàn)室的主任,他提出了一種稱之為“情景演算”(situationalcalculus)的理論,其中“情景”表示世界的一種狀態(tài)。當(dāng)主體(agent)行動(dòng)時(shí),情景發(fā)生變化。主體下一步如何行動(dòng)取決于他所知道的情景。情景演算的思想吸收了有窮自動(dòng)機(jī)狀態(tài)轉(zhuǎn)移的概念。在情景演算中,推理不但取決于狀態(tài),而且取決于主體關(guān)于狀態(tài)知道些什么。主體知道得越多,了解得越詳細(xì),他就會(huì)更好地作出決策。這種情景演算理論吸引了許多研究者,但它本身也引起一種問(wèn)題。在多主體的世界中,與一個(gè)主體有關(guān)的情景的變化可能還取決于其他主體的行動(dòng)。這樣處理起來(lái)十分困難。在常識(shí)世界中,我們的決策可能不大受其他主體的影響,當(dāng)然有時(shí)也受。很難說(shuō)麥卡錫的努力最終是否成功了,但他向通常的“演繹推理”挑戰(zhàn),強(qiáng)調(diào)人類智能推理的非單調(diào)性(nonmonotonicity),發(fā)展?fàn)顟B(tài)描述法,在人工智能研究中具有重要意義。麥卡錫試圖讓機(jī)器能像人一樣,在某種語(yǔ)境下,進(jìn)行基本的猜測(cè)。但這很難做,即使是人,也常常誤解語(yǔ)境。一個(gè)有趣的例子是:白宮發(fā)言人奧涅爾歡迎新當(dāng)選的里根總統(tǒng)時(shí)說(shuō):“您成了GroverCleveland”(他指的是美國(guó)的一個(gè)總統(tǒng))。而里根卻微笑著說(shuō):“我只在電影中扮演過(guò)一次Cleveland?!保ɡ锔傅氖前羟蚴諫roverClevelandAlexander)。麥卡錫發(fā)明Lisp語(yǔ)言,只是把它作為工具,他的目標(biāo)是制造具有人類智能的機(jī)器。Lisp自發(fā)明以后,像其他語(yǔ)言一樣,發(fā)明人失去了對(duì)其的控制能力,馬庫(kù)斯和凱(A.Kay,“面向?qū)ο蟪绦蛟O(shè)計(jì)”的創(chuàng)始人)也一樣。他因在人工智能上貢獻(xiàn)于1971年獲得圖靈獎(jiǎng)。
10、林納斯?本納第克特?托瓦茲(LinusBenedictTorvalds,1969-)
當(dāng)今世界最著名的電腦程序員(程序師)、黑客(駭客)。Linux內(nèi)核的發(fā)明人及該計(jì)劃的合作者。托瓦茲利用個(gè)人時(shí)間及器材創(chuàng)造出了這套當(dāng)今全球最流行的操作系統(tǒng)(作業(yè)系統(tǒng))內(nèi)核之一。
托瓦茲1969年12月28日出生于芬蘭赫爾辛基市。父親尼爾斯·托瓦茲(NilsTorvalds)是一名活躍的共產(chǎn)主義者及電臺(tái)記者。托瓦茲家族屬于在芬蘭占7%的少數(shù)民族芬蘭瑞典人。他畢業(yè)于赫爾辛基大學(xué)計(jì)算機(jī)系,目前在美國(guó)加州硅谷任職于全美達(dá)公司(TransmetaCorporation)。與妻子托芙(Tove,芬蘭前女子空手道冠軍)育有兩名孩子。與很多其他黑客不同,托瓦茲行事低調(diào),一般很少評(píng)論商業(yè)競(jìng)爭(zhēng)對(duì)手(例如微軟)產(chǎn)品的好壞,但堅(jiān)持開放源代碼信念,并對(duì)微軟等對(duì)手的FUD戰(zhàn)略大為不滿。
11、文頓?瑟夫(VintonG.Cerf,1949-)
互聯(lián)網(wǎng)之父,圖靈獎(jiǎng)獲得者,現(xiàn)任Google公司副總裁兼首席互聯(lián)網(wǎng)專家。Vint和RobertKahn合作設(shè)計(jì)了TCP/IP協(xié)議及互聯(lián)網(wǎng)的基礎(chǔ)體系結(jié)構(gòu),克林頓總統(tǒng)于1997年向他們授予美國(guó)國(guó)家科技獎(jiǎng)?wù)潞涂偨y(tǒng)自由勛章。
1943年6月23日,文頓·瑟夫出生。在洛杉磯圣費(fèi)爾南多谷地區(qū)上中學(xué)時(shí),與斯蒂夫·克洛克認(rèn)識(shí)并成為好友。兩人都酷愛(ài)科學(xué),周末經(jīng)常泡在一起做三維棋盤成色彩觀察實(shí)驗(yàn)。
小時(shí)候,他的偶像是父親。他父親通過(guò)艱苦奮斗,從一名普通員工升到北美航空公司的高級(jí)執(zhí)行官。瑟夫的兩個(gè)弟弟也表現(xiàn)出眾,兩人踢足球,并輪流擔(dān)任學(xué)生會(huì)。瑟夫本人則是書蟲,興趣龐雜,幻想色彩較濃?;瘜W(xué)學(xué)得特別好,但他真正的興趣在于數(shù)學(xué)。由于是早產(chǎn)兒,瑟夫出生時(shí)聽(tīng)覺(jué)有缺陷,必須戴上助聽(tīng)器。他從小到大一直在設(shè)計(jì)有助于聽(tīng)覺(jué)交流的技巧。他還寫過(guò)一篇論文,叫“一位有聽(tīng)覺(jué)缺陷的工程師的自白”。瑟夫也是個(gè)極愛(ài)讀書的人。在化學(xué)課上,他盡顯自己的才華。然而對(duì)他來(lái)說(shuō),真正情有獨(dú)衷的還是數(shù)學(xué)。1960年左右,雖然還在念高中,但瑟夫的好友斯蒂夫已獲準(zhǔn)使用加州大學(xué)洛杉磯分校(UCLA)的計(jì)算機(jī)實(shí)驗(yàn)室。有時(shí)周末,瑟夫就跟斯蒂夫一起去。一次實(shí)驗(yàn)室大樓已鎖,只見(jiàn)二樓有扇窗開著?!敖酉氯?,我就知道文頓已站在我的肩膀上”。斯蒂夫回憶道。
高中畢業(yè)后,瑟夫上了斯坦福大學(xué)。他父親的公司為他提供了四年的獎(jiǎng)學(xué)金。他主修數(shù)學(xué),很快迷上計(jì)算機(jī)?!熬幊套屓梭w味到一種奇妙無(wú)比的感覺(jué)。你創(chuàng)造了一個(gè)你自己的世界,你就是這個(gè)世界的主人。不管編了什么,計(jì)算機(jī)總會(huì)照辦。它就像一只沙匣,里邊每一粒沙子都在你把握之中”。
瑟夫的妻子希格里是插圖畫家,3歲時(shí)耳朵就全聾了。兩人的第一次見(jiàn)面就是他們的助聽(tīng)器推銷商精心策劃的,讓兩人不期而遇,一見(jiàn)鐘情。飯后兩人去藝術(shù)博物館。瑟夫從未受過(guò)藝術(shù)方面的訓(xùn)練,但他也表現(xiàn)出濃厚興趣。在康定斯基的大型作品前,他佇立良久,最后冒出一句:“這畫真像一只巨大的新鮮漢堡包”。
一年后的1966年,倆人結(jié)婚了。斯蒂夫自然是儐相(幾年后兩人又互換了一次角色)?;槎Y開始前幾分鐘,奏婚曲的錄音機(jī)卡了殼,這位儐相和驚慌失措的新郎趕緊躲到圣壇邊的小房間里,發(fā)揮特長(zhǎng),將機(jī)器修好。由于聽(tīng)力缺陷,兩口子說(shuō)悄悄話都像吼叫。1965年,獲斯坦福大學(xué)計(jì)算機(jī)科學(xué)學(xué)士學(xué)位1965年-1967年,IBM公司系統(tǒng)工程支持工作
1970年,獲加州大學(xué)洛杉磯分校計(jì)算機(jī)科學(xué)碩士學(xué)位1967年-1972年,加州大學(xué)洛杉磯分校1972年,獲加州大學(xué)洛杉磯分校計(jì)算機(jī)科學(xué)博士學(xué)位1972年-1976年,斯坦福大學(xué)助理教授1976年-1982年,美國(guó)國(guó)防部DARPA的IPTO,首席科學(xué)家,在互聯(lián)網(wǎng)以及與互聯(lián)網(wǎng)相關(guān)的數(shù)據(jù)包和安全技術(shù)開發(fā)方面扮演了關(guān)鍵性的角色。1982年-1986年,MCI負(fù)責(zé)工程的副總裁1986年-1994年,CNRI1994年-2005,MCI負(fù)責(zé)架構(gòu)和技術(shù)的資深副總裁2005年-至今,Google副總裁兼首席互聯(lián)網(wǎng)顧問(wèn)
12、約翰?錢伯斯(JohnChambers,1949-)
數(shù)字世界之父,CiscoSystem公司總裁兼首席執(zhí)行官,JohnChambers先生是當(dāng)今世界最出色的企業(yè)經(jīng)理人之一。他以驚人的洞察力預(yù)言互聯(lián)網(wǎng)將深刻改變?nèi)藗兊墓ぷ?、學(xué)習(xí)和生活方式,改變國(guó)家、企業(yè)和個(gè)人的競(jìng)爭(zhēng)優(yōu)勢(shì),為中國(guó)互聯(lián)網(wǎng)產(chǎn)業(yè)的發(fā)展帶來(lái)了全新的思維和理念。錢伯斯1944年出生于美國(guó)西弗吉尼亞州的查爾斯頓,他生活在一個(gè)相當(dāng)融洽和睦的家庭里,父母都是醫(yī)生,還有兩個(gè)姐姐,幼年時(shí),他還在教堂的唱詩(shī)班里唱歌,與他的父親杰克一起去河邊釣魚……即使在現(xiàn)在錢伯斯還深深懷念過(guò)去與家人在卡羅萊納州海邊的度假時(shí)光。然而錢伯斯在少年讀書時(shí)曾經(jīng)患有輕微的閱讀困難癥,可是這并沒(méi)有成為阻止他刻苦學(xué)習(xí)的原因,卻磨練了他的意志。甚至到了現(xiàn)在,他反而還很討厭冗長(zhǎng)的報(bào)告,寧愿用言語(yǔ)與別人交流。當(dāng)他
溫馨提示
- 1. 本站所有資源如無(wú)特殊說(shuō)明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請(qǐng)下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請(qǐng)聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁(yè)內(nèi)容里面會(huì)有圖紙預(yù)覽,若沒(méi)有圖紙預(yù)覽就沒(méi)有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 人人文庫(kù)網(wǎng)僅提供信息存儲(chǔ)空間,僅對(duì)用戶上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對(duì)用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對(duì)任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請(qǐng)與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時(shí)也不承擔(dān)用戶因使用這些下載資源對(duì)自己和他人造成任何形式的傷害或損失。
最新文檔
- 2025年度個(gè)人住宅裝修竣工驗(yàn)收合同7篇
- 二零二五年財(cái)務(wù)咨詢服務(wù)合同標(biāo)的費(fèi)用與服務(wù)內(nèi)容
- 2025年個(gè)人合伙退伙協(xié)議書示范文本解讀4篇
- 弱電智能化設(shè)計(jì)合同(2篇)
- 工程結(jié)算合同(2篇)
- 2024年中級(jí)經(jīng)濟(jì)師考試題庫(kù)附參考答案(奪分金卷)
- 2024年助理會(huì)計(jì)師《初級(jí)會(huì)計(jì)實(shí)務(wù)》高頻真題庫(kù)匯編及答案
- 電子控制方向課程設(shè)計(jì)
- 二零二五年度汽車零部件模具設(shè)計(jì)合作協(xié)議3篇
- 2025年二零二五民辦學(xué)校教師科研創(chuàng)新聘用協(xié)議4篇
- 2024-2025學(xué)年山東省濰坊市高一上冊(cè)1月期末考試數(shù)學(xué)檢測(cè)試題(附解析)
- 數(shù)學(xué)-湖南省新高考教學(xué)教研聯(lián)盟(長(zhǎng)郡二十校聯(lián)盟)2024-2025學(xué)年2025屆高三上學(xué)期第一次預(yù)熱演練試題和答案
- 2020-2024年安徽省初中學(xué)業(yè)水平考試中考物理試卷(5年真題+答案解析)
- 部編版5年級(jí)語(yǔ)文下冊(cè)第五單元學(xué)歷案
- 高考介詞練習(xí)(附答案)
- 單位就業(yè)人員登記表
- 衛(wèi)生監(jiān)督協(xié)管-醫(yī)療機(jī)構(gòu)監(jiān)督
- 記錄片21世紀(jì)禁愛(ài)指南
- 腰椎間盤的診斷證明書
- 移動(dòng)商務(wù)內(nèi)容運(yùn)營(yíng)(吳洪貴)任務(wù)七 裂變傳播
- 單級(jí)倒立擺系統(tǒng)建模與控制器設(shè)計(jì)
評(píng)論
0/150
提交評(píng)論