圖靈有哪些著作

時間 2021-08-14 22:41:15

1樓:如道居士

《論數字計算在決斷難題中的應用》,《機器能思考嗎?》

圖靈的主要貢獻有什麼?

2樓:匿名使用者

1、電子計算機

圖靈在第二次世界大戰中從事的密碼破譯工作涉及到電子計算機的設計和研製,但此項工作嚴格保密。直到70年代,內情才有所披露。

從一些檔案來看,很可能世界上第一台電子計算機不是eniac,而是與圖靈有關的另一台機器,即圖靈在戰時服務的機構於2023年研製成功的co-lossus(巨人)機,這台機器的設計採用了圖靈提出的某些概念。

它用了1500個電子管,採用了光電管閱讀器;利用穿孔紙帶輸入;並採用了電子管雙穩態線路,執行計數、二進位制算術及布林代數邏輯運算,巨人機共生產了10臺,用它們出色地完成了密碼破譯工作。

2、人工智慧

2023年,圖靈成為曼切斯特大學(university of manchester )計算實驗室的副院長,致力研發執行manchester mark 1型號儲存程式式計算機所需的軟體。

2023年他發表**《計算機器與智慧型》( computing machinery and intelligence),為後來的人工智慧科學提供了開創性的構思。提出著名的「圖靈測試」,指出如果第三者無法辨別人類與人工智慧機器反應的差別, 則可以論斷該機器具備人工智慧。

3、數理生物學

從2023年直到去世,圖靈一直在數理生物學方面做研究。他在2023年發表了一篇**《形態發生的化學基礎》(the chemical basis of morphogenesis)。

他主要的興趣是斐波那契葉序列,存在於植物結構的斐波那契數。他應用了反應-擴散公式,如今已經成為圖案形成範疇的核心。他後期的**都沒有發表,一直等到2023年《艾倫·圖靈選集》出版,這些文章才見天日。

3樓:桃子君

可計算性理論

判定問題

電子計算機

人工智慧

數理生物學

圖靈試驗

艾倫·麥席森·圖靈(alan mathison turing,2023年6月23日-2023年6月7日),英國數學家、邏輯學家,被稱為電腦科學之父,人工智慧之父。2023年圖靈進入劍橋大學國王學院,畢業後到美國普林斯頓大學攻讀博士學位,第二次世界大戰爆發後回到劍橋,後曾協助軍方破解德國的著名密碼系統enigma,幫助盟軍取得了二戰的勝利。2023年12月24日,在英國司法部長克里斯·格雷靈(chris grayling)的要求下,英國女王向圖靈頒發了皇家赦免。

英國司法部長宣布,「圖靈的晚年生活因為其同性取向(同性戀)而被迫蒙上了一層陰影,我們認為當時的判決是不公的,這種歧視現象現在也已經遭到了廢除。為此,女王決定為這位偉人送上赦免,以此向其致敬。」 圖靈對於人工智慧的發展有諸多貢獻,提出了一種用於判定機器是否具有智慧型的試驗方法,即圖靈試驗,至今,每年都有試驗的比賽。

此外,圖靈提出的著名的圖靈機模型為現代計算機的邏輯工作方式奠定了基礎。

圖靈被譽為電腦科學之父,他的主要貢獻有什麼

4樓:牙牙的弟弟

主要貢獻:

1、提出「圖靈測試」概念

「圖靈測試」指測試者與被測試者(乙個人和一台機器)隔開的情況下,通過一些裝置(如鍵盤)向被測試者隨意提問。

進行多次測試後,如果有超過30%的測試者不能確定出被測試者是人還是機器,那麼這台機器就通過了測試,並被認為具有人類智慧型。

圖靈測試一詞**於電腦科學和密碼學的先驅艾倫·麥席森·圖靈寫於2023年的一篇**《計算機器與智慧型》,其中30%是圖靈對2023年時的機器思考能力的乙個**,目前我們已遠遠落後於這個**。

圖靈預言,在20世紀末,一定會有電腦通過「圖靈測試」。2023年6月7日在英國皇家學會舉行的「2014圖靈測試」大會上,舉辦方英國雷丁大學發布新聞稿。

宣稱俄羅斯人弗拉基公尺爾·維西羅夫(vladimir veselov)創立的人工智慧軟體尤金·古斯特曼(eugene goostman)通過了圖靈測試。

雖然「尤金」軟體還遠不能「思考」,但也是人工智慧乃至於計算機史上的乙個標誌性事件。

2、圖靈機

圖靈機是由圖靈在2023年提出的,它是一種精確的通用計算機模型,能模擬實際計算機的所有計算行為。

所謂的圖靈機就是指乙個抽象的機器,它有一條無限長的紙帶,紙帶分成了乙個乙個的小方格,每個方格有不同的顏色。有乙個機器頭在紙帶上移來移去。

機器頭有一組內部狀態,還有一些固定的程式。在每個時刻,機器頭都要從當前紙帶上讀入乙個方格資訊,然後結合自己的內部狀態查詢程式表,根據程式輸出資訊到紙帶方格上,並轉換自己的內部狀態,然後進行移動。

3、人工智慧

2023年,圖靈成為曼切斯特大學(university of manchester )計算實驗室的副院長,致力研發執行manchester mark 1型號儲存程式式計算機所需的軟體。

2023年圖靈的這篇文章以「機器能夠思維嗎?」為題重新發表,此時,人工智慧也進入了實踐研製階段。圖靈的機器智慧型思想無疑是人工智慧的直接起源之一。

而且隨著人工智慧領域的深入研究,人們越來越認識到圖靈思想的深刻性:它們如今仍然是人工智慧的主要思想之一。

4、樹立生物學

從2023年直到去世,圖靈一直在數理生物學方面做研究。他在2023年發表了一篇**《形態發生的化學基礎》(the chemical basis of morphogenesis)。

他主要的興趣是斐波那契葉序列,存在於植物結構的斐波那契數。他應用了反應-擴散公式,如今已經成為圖案形成範疇的核心。他後期的**都沒有發表,一直等到2023年《艾倫·圖靈選集》出版,這些文章才見天日。

5、判定問題

2023年,圖靈用他的方法解決了著名的希爾伯特判定問題:狹謂詞演算(亦稱一階邏輯)公式的可滿足性的判定問題。

他用一階邏輯中的公式對圖靈機進行編碼,再由圖靈機停機問題的不可判定性推出一階邏輯的不可判定性。他在此處創用的「編碼法」成為後來人們證明一階邏輯的公式類的不可判定性的主要方法之一。

在判定問題上,圖靈的另一成果是2023年提出的帶有外部資訊源的圖靈機概念,並由此匯出「圖靈可歸約」及相對遞迴的概念。

運用歸約和相對遞迴的概念,可對不可判定性與非遞迴性的程度加以比較。在此基礎上,e.波斯特(post)提出了不可解度這一重要概念,這方面的工作後來有重大的進展。

5樓:匿名使用者

圖靈是計算機邏輯的奠基者,提出了「圖靈機」和「圖靈測試」等重要概念。

他是計算機邏輯的奠基者,許多人工智慧的重要方法也源自於他。他對計算機的重要貢獻在於他提出的有限狀態自動機也就是圖靈機的概念,對於人工智慧,他提出了重要的衡量標準「圖靈測試」。

主要成就

1.人工智慧

2.圖靈試驗

3.圖靈機

金嶽霖有哪些著作

繼潤 他著有 論道 邏輯 和 知識論 憑三本著作,奠定了他在中國哲學界的地位,其中 知識論 更在中國哲學史上首次構建了完整的知識論體系。金嶽霖 1895.7.14 1984.10.19 字龍蓀,祖籍浙江諸暨,出生於湖南長沙 著名的哲學家 邏輯學家。北京清華學堂畢業,後留學美國。先後在賓夕法尼亞大學 ...

易學著作有哪些?易經是誰著作的

易經 周易折中 梅花易數 卜筮正宗 好風好水好運程 通俗易懂。易經是誰著作的.易經 是中國儒家典籍,六經之一。原名 易 周易 漢代人通稱為 易經 古人向神靈卜問吉兇的方法,有龜卜和占筮。筮用蓍草,按一定法式推算出數目,求得某種卦象,依據卦辭 爻辭推測所問事情的後果。據 周禮 春官 宗伯 記載,上古時...

徐悲鴻有哪些著作,徐悲鴻有哪些作品

徐悲鴻擅長以馬喻人 托物抒懷,以此來表達自己的愛國熱情。徐悲鴻筆下的馬是 一洗萬古凡馬空 獨有一種精神抖擻 豪氣勃發的意態。奔馬圖 群馬 九方皋 田橫五百士 負傷之獅 愚公移山圖 悲鴻繪集 徐悲鴻繪 中華書局 十九年 悲鴻畫集 徐悲鴻繪 中華書局 二十一年 悲鴻近作 徐悲鴻繪 中華書局 三十年 悲鴻...