為計算機發展做出巨大貢獻的英才

草原飛歌coding 發佈 2020-01-09T15:15:19+00:00

1.圖靈圖靈,英國著名的數學家和邏輯學家,被稱為計算機科學之父、人工智慧之父,是計算機邏輯的奠基者,提出了「圖靈機」和「圖靈測試」等重要概念。


1.圖靈

圖靈 ,英國著名的數學家和邏輯學家,被稱為計算機科學之父、人工智慧之父,是計算機邏輯的奠基者,提出了「圖靈機」和「圖靈測試」等重要概念。

圖靈機,又稱圖靈計算機,是一種抽象計算模型:將人們使用紙筆進行數學運算的過程進行抽象,由一個虛擬的機器替代人們進行數學運算。

圖靈機有一條無限長的紙帶,紙帶分成了一個一個的小方格,每個方格有不同的顏色。有一個機器頭在紙帶上移來移去。機器頭有一組內部狀態,還有一些固定的程序。

在每個時刻,機器頭都要從當前紙帶上讀入一個方格信息,然後結合自己的內部狀態查找程序表,根據程序輸出信息到紙帶方格上,並轉換自己的內部狀態,然後進行移動。

圖靈測試,測試人在與被測試者(一個人和一台機器)隔開的情況下,通過一些裝置(如鍵盤)向被測試者隨意提問。問過一些問題後,如果被測試者超過30%的答覆不能使測試人確認出哪個是人、哪個是機器的回答,那麼這台機器就通過了測試,並被認為具有人類智能。

人們為了紀念這位偉大的科學家將計算機界的最高獎定名為「圖靈獎」。

2.馮·諾依曼

馮·諾依曼,美籍匈牙利人,在現代計算機、博弈論、核武器和生化武器等諸多領域內有傑出建樹的最偉大的科學全才之一,被後人稱為「計算機之父」和「博弈論之父」。

1944年,諾伊曼參加原子彈的研製工作,該工作涉及到極為困難的計算。

1945年,馮·諾依曼以「關於EDVAC的報告草案」為題,起草了長達101頁的總結報告。報告廣泛而具體地介紹了製造電子計算機和程序設計的新思想。

這份報告是計算機發展史上一個劃時代的文獻,它向世界宣告:電子計算機的時代開始了。

馮諾依曼理論的要點是:數字計算機的數制採用二進位;計算機應該按照程序順序執行。

人們把馮諾依曼的這個理論稱為馮諾依曼體系結構。從ENIAC(ENIVAC並不是馮諾依曼體系)到當前最先進的計算機都採用的是馮諾依曼體系結構。所以馮諾依曼是當之無愧的數字計算機之父。

3.香農

克勞德·艾爾伍德·香農,美國數學家、資訊理論的創始人。香農理論的重要特徵是熵(entropy)的概念。

如果計算中的對數log是以2為底的,那麼計算出來的信息熵就以比特(bit)為單位。在計算機和通信中廣泛使用的字節(Byte)、KB、MB、GB等詞都是從比特演化而來。


"比特"的出現標誌著人類知道了如何計量信息量。香農的資訊理論為明確什麼是信息量概念作出決定性的貢獻。

4.西蒙

美國科學家,研究工作涉及經濟學、政治學、管理學、社會學、心理學、運籌學、計算機科學、認知科學、人工智慧等廣大領域,並做出了創造性貢獻。

1956年夏天,來自數學、心理學、神經學、計算機科學與電氣工程等各種領域的學者聚集在位於美國新罕布夏州漢諾瓦市的達特茅斯學院,討論如何用計算機模擬人的智能,正式把這一學科領域命名為「人工智慧」。

西蒙參加了這個具有歷史意義的會議,而且他們帶到會議上去的「邏輯理論家」是當時唯一可以工作的人工智慧軟體。因此,西蒙、紐厄爾以及達特茅斯會議的發起人麥卡錫和明斯基被公認為是人工智慧的奠基人,被稱為「人工智慧之父」。

1957年 西蒙與別人合作開發了IPL語言(Information Processing Language).在AI的歷史上,這是最早的一種AI程序設計語言。

關鍵字: