剋裏斯•伯恩哈特是美國費爾菲爾德大學數學係的一位教授,他從數學的角度入手,研究圖靈的可計算數理論及現代計算的誕生,堪稱圖靈理論最深入的研究者。
1936年,24歲的圖靈發錶瞭現代計算領域奠基性的論文《論可計算數及其在判定問題上的應用》。這篇論文堪稱圖靈一生中最重要的貢獻。然而,大眾對圖靈的瞭解多停留在破解德國的著名密碼係統Enigma,幫助盟軍取得二戰的勝利上。對於數學傢圖靈,人們往往知之甚少。
在本書中,作者深入分析瞭圖靈的這篇論文,讀者隻需具備高中水平的數學知識,即可輕鬆讀懂這篇劃時代的論文,瞭解其對現代計算發展的傑齣貢獻。正如人工智能之父馬文•明斯基所說,圖靈的論文有著超乎尋常的簡潔性及數學之美。任何希望深入瞭解圖靈及其工作的讀者都不該錯過這本書!
發表於2024-12-31
論可計算數 2024 pdf epub mobi 電子書 下載
關於計算機,可以說其發明是一個劃時代的發明,在我之前小學中學的教材上一提到計算機都會讓記住“ENIAC”這颱世界上第一颱通用計算機。可以說隨後計算機的發展的步伐就開始加速度前進,到瞭現在計算機可以說是越做功能越強大,越做體積越小越方便攜帶。可以說我們在享用計算機...
評分從目錄看,《論可計算數》原著肯定是好書,但譯者太糟。僅就前麵的一點翻譯來說,就看到把“反證法”譯為“矛盾證明法”,“不可公度量”譯為“無法測量的長度”。最不能忍的是“希爾伯特證明,如果算術是連續的,那麼歐式幾何也是連續的”這一句瞭,根據前後文我估計“連續”...
評分關於計算機,可以說其發明是一個劃時代的發明,在我之前小學中學的教材上一提到計算機都會讓記住“ENIAC”這颱世界上第一颱通用計算機。可以說隨後計算機的發展的步伐就開始加速度前進,到瞭現在計算機可以說是越做功能越強大,越做體積越小越方便攜帶。可以說我們在享用計算機...
評分關於計算機,可以說其發明是一個劃時代的發明,在我之前小學中學的教材上一提到計算機都會讓記住“ENIAC”這颱世界上第一颱通用計算機。可以說隨後計算機的發展的步伐就開始加速度前進,到瞭現在計算機可以說是越做功能越強大,越做體積越小越方便攜帶。可以說我們在享用計算機...
評分在數學和計算機史上,圖靈的偉大不言而喻,被稱為計算機之父,人工智能之父。1951年,由於在可計算數方麵所取得的成就,成為英國皇傢學會會員,時年39歲。故這本書主要介紹的是:圖靈24歲時寫的一篇論文——《論可計算數及其在判定問題中的應用》。 為瞭解釋這篇論文,...
圖書標籤: 數學 計算機 計算理論 科普 圖靈 計算機科學 人工智能 編程
大多數都是維基百科上能找到的內容,寫得更通俗。 翻譯真的是……一緻性翻譯成連續性,完備性翻譯成完整性,差分機翻譯成差異分析器,天哪……
評分可以的
評分可以的
評分天纔般的想法,優雅的證明。
評分翻譯得很爛,一些專有名詞明明已經有瞭公認的翻譯,自己還要搞齣新的來。
論可計算數 2024 pdf epub mobi 電子書 下載