可計算性與不可解性檢視原始碼討論檢視歷史

原圖鏈接來自 豆瓣網 的圖片

《可計算性與不可解性》，數理邏輯的可計算理論領域的專著。M.戴維斯著。美國MCGRAW-Hill圖書出版公司於1958年在紐約、多倫多和倫敦出版，在美國印刷。中譯本北京大學出版社出版。

內容簡介

本書分3部分，共10章。第1部分為可計算性的一般理論，分5章從圖靈機的概念開始，定義了可計算函數，遞歸函數與可計算函數的等價性證明，引進了通用圖靈機的概念和不可判定問題的概念，建立了回答有關問題的方法；第2部分(即第6—8章)為一般理論的應用，特別講了希爾伯特第10問題；第3部分(第9—10章)為一般理論的進一步發展，講述克林尼對算術謂詞的分層，可計算泛函和不可解問題的分類。本書是算法理論方面一本既嚴格又通俗易懂並對希爾伯特第10問題有特殊研究的著作，對於有關問題的進展作出了積極的貢獻。以希氏第10問題為例，本書出版後12年即1970年人們在本書所指引的方向上獲得了否定解決，即不存算法去回答刁番圖問題。

作者簡介

M.戴維斯(MartinDavis)，美國數理邏輯學家，美國紐約大學庫朗研究所教授。還著有《應用非標準分析》，有關希爾伯特第十問題論文若干篇，1965年編譯論文集《不可判定性》。

工具書的發展

「工欲善其事，必先利其器」。工具書是一種依據特定的需要，廣泛匯集相關的知識或文獻資料，按一定的體例和檢索方式編排，專供查資料線索的圖書、文獻，是人們在書山探寶，學海求知的「器」。學會和善於利用工具書，是做學問的一項基本功。

我國的工具書歷史悠久，源遠流長。據史籀記載，公元前8世紀周宣王就有字書《史籀篇》。如果說先秦是工具書的萌芽時期的話，那麼兩漢則是工具書的奠基時期。《方言》，《說文解字》《別錄》《七略》等一批定型的字典、詞典、書目，為以後工具書的發展打下了堅實的基礎。

隨着工具書的不斷發展，種類也變得越來越多，除字典、詞典、百科全書外，年鑑、手冊在工具書類型中發展較快，品種多，規模大，既有綜合性的，也有專門或專科性的，既有學術性的，也有生活方面的。

視頻

可計算性與不可解性 相關視頻

第一課時 數理邏輯 2.8數理邏輯的發展