以下推薦并沒有很多的新意玷禽，可能更多的是體現(xiàn)了推薦人的某種偏見。希望這份推薦有一定的價值第练。不過帆疟，有一點(diǎn)我必須聲明：《通往實在之路》我并沒有看完，很遺憾椭懊。實在是希望有更多的人可以閱讀完這本書！
圖靈的秘密
作者: Charles Petzold步势，
出版社: 人民郵電出版社
出品方: 圖靈新知
副標(biāo)題: 他的生平氧猬、思想及論文解讀
原作名: The Annotated Turing: A Guided Tour Through Alan Turing's Historic Paper on Computability and the Turing Machine
譯者: 楊衛(wèi)東
出版年: 2012-11
圖靈機(jī)是英國數(shù)學(xué)家阿蘭?圖靈提出的一種抽象計算模型，本書深入剖析了圖靈這篇描述圖靈機(jī)和可計算性的原始論文《論可計算數(shù)及其在判定性問題上的應(yīng)用》坏瘩。書中在詳解論文的同時盅抚，也附帶了大量的歷史背景資料、圖靈的個人經(jīng)歷倔矾，以及圖靈機(jī)對于人們理解計算機(jī)妄均、人類意識和宇宙所產(chǎn)生的影響。 本書適合所有計算機(jī)科學(xué)專業(yè)的學(xué)生哪自、程序員或其他技術(shù)人員丰包，同時也適合欲了解圖靈生平及其構(gòu)建圖靈機(jī)的思維的讀者閱讀。
皇帝的新腦
作者: 羅杰·彭羅斯
出版社: 湖南科學(xué)技術(shù)出版社
副標(biāo)題: 有關(guān)電腦壤巷、人腦及物理定律
原作名: The Emperor's New Mind: concerning computers, minds, and the laws of physics
譯者: 許明賢 / 吳忠超
出版年: 2007-6-1
叢書: 第一推動叢書
ISBN: 9787535715814
本書對電腦科學(xué)邑彪、數(shù)學(xué)、物理學(xué)胧华、宇宙學(xué)寄症、神經(jīng)和精神科學(xué)以及哲學(xué)進(jìn)行了廣泛、深入淺出的討論矩动，體現(xiàn)了作者向哲學(xué)上最大問題——“精神-身體關(guān)系”挑戰(zhàn)的大無畏精神有巧。書中充滿了天才般的猜測，貫穿著探索真理的靈感和激情悲没。這是一本這者的精心杰作篮迎，它闡釋科學(xué)論題的新方式令人眼前為之一亮。這本巨著重新衡量相對論和量子理論檀训。作者提出他對現(xiàn)代物理及人工智能的新看法柑潦，建議人們必須徹底改變時間與空間的觀念。本書曾在《紐約時報》的暢銷書排行榜上連續(xù)許多星期峻凫。
這是我寫的書評渗鬼。
哥德爾，艾舍爾荧琼，巴赫：集異璧之大成 （簡稱：GEB）
作者: [美國] 侯世達(dá) 出版社: 商務(wù)印書館
副標(biāo)題: 集異璧之大成
原作名: G?del, Escher, Bach: An Eternal Golden Braid
譯者: 嚴(yán)勇 / 劉皓明 / 莫大偉
出版年: 1997-5
集異璧－GEB譬胎，是數(shù)學(xué)家哥德爾差牛、版畫家艾舍爾、音樂家巴赫三個名字的前綴堰乔∑《哥德爾、艾舍爾镐侯、巴赫書：集異璧之大成》是在英語世界中有極高評價的科普著作侦讨，曾獲得普利策非小說獎。它通過對哥德爾的數(shù)理邏輯苟翻，艾舍爾的版畫和巴赫的音樂三者的綜合闡述韵卤，引人入勝地介紹了數(shù)理邏輯 學(xué)、可計算理 論崇猫、人工智能學(xué)沈条、語言學(xué)、遺傳學(xué)诅炉、音樂蜡歹、繪畫的理論等方面，構(gòu)思精巧涕烧、含義深刻月而、視野廣闊、富于哲學(xué)韻味议纯。
中譯本前后費(fèi)時十余年景鼠，譯者都是數(shù)學(xué)和哲學(xué)的專家，還得到原作者的直接參與痹扇，譯文嚴(yán)謹(jǐn)通達(dá)铛漓，特別是在原作者的幫助下，把西方的文化典故和說法鲫构，盡可能轉(zhuǎn)換為中國文化的典故和說法浓恶，使這部譯本甚至可看作是一部新的創(chuàng)作，也是中外翻譯史上的一個創(chuàng)舉结笨。
邏輯的引擎
作者: [美] 馬丁?戴維斯
出版社: 湖南科學(xué)技術(shù)出版社
原作名: Engines of Logic: Mathematicians and the Origin of the Computer
譯者: 張卜天
出版年: 2018-1
叢書: 第一推動叢書：綜合系列
ISBN: 9787535794420
本書講述了計算機(jī)思想層面的歷史包晰，通過引人入勝的材料描寫了萊布尼茨、布爾炕吸、康托爾伐憾、希爾伯特、哥德爾赫模、圖靈等天才的生活和工作树肃，講述了數(shù)學(xué)家們?nèi)绾卧诔晒吨T應(yīng)用之前就已經(jīng)提出了其背后的思想。
哥德爾證明
作者: 歐內(nèi)斯特·內(nèi)格爾（Ernest Nagel） / 詹姆士 R. 紐曼 （James R. Newman）
出版社: 中國人民大學(xué)出版社
原作名: G?del’s Proof
譯者: 陳東威 / 連永君
出版年: 2008-3
叢書: 當(dāng)代世界學(xué)術(shù)名著·哲學(xué)系列
ISBN: 9787300088907
《哥德爾證明》是第一本既面向?qū)W者又面向非專業(yè)人士瀑罗，對哥德爾證明的主要思路和廣泛含義作了易讀的解釋的書胸嘴。對任何具有邏輯和哲學(xué)品味的受過教育的人士來說雏掠，它提供了一個深入了解先前無法企及的論題的機(jī)會。
在此書的新版中劣像，普利策獎的獲獎作者道格拉斯?R·霍夫斯塔特對這一經(jīng)典著作的原文進(jìn)行了重新斟酌和更新乡话，澄清了模糊之處，使論述更為清晰耳奕，并使行文更具可讀性绑青。
啊哈，靈機(jī)一動
作者: [美] 馬丁·伽德納
出版社: 科學(xué)出版社
原作名: Aha! Insight
譯者: 李建臣 / 劉正新
出版年: 2007-8
叢書: 20世紀(jì)科普經(jīng)典特藏（中譯本）
ISBN: 9787030195869
20世紀(jì)科普經(jīng)典著作屋群。瞬間閃光的妙想稱為“啊哈反應(yīng)”时迫。《啊哈谓晌，靈機(jī)一動 （中文版）》精選了貌似復(fù)雜，實際若循規(guī)蹈矩去做也確實很困難癞揉，但要是能放開思路纸肉，跳出常規(guī)解題的模式，或許能驀然發(fā)現(xiàn)問題的答案何其簡單喊熟“胤荆《啊哈，靈機(jī)一動 （中文版）》談到的奇思妙想芥牌，與科學(xué)烦味、藝術(shù)、商業(yè)壁拉、政治及其他人類所從事的各項活動的創(chuàng)造力有著密不可分的聯(lián)系谬俄。《啊哈弃理，靈機(jī)一動 （中文版）》包括“組合：關(guān)于排列的謎題”溃论、“幾何：關(guān)于圖形的謎題”、“數(shù)字：關(guān)于算術(shù)的謎題”痘昌、“邏輯：關(guān)于推理的謎題”钥勋、“程序：關(guān)于操作設(shè)計的謎題”和“文字：關(guān)于字、詞辆苔、句的謎題”算灸。
通往實在之路
作者: [英國] 羅杰·彭羅斯
出版社: 湖南科學(xué)技術(shù)出版社
副標(biāo)題: 宇宙法則的完全指南
原作名: The Road to Reality: A Complete Guide to the Laws of the Universe
譯者: 王文浩
出版年: 2008-6
ISBN: 9787535752468
一個全面的概述--從我們看不到的，亞原子的粒子的微小的運(yùn)動到漫天星斗的運(yùn)行驻啤。在物質(zhì)的世界與用以解釋和描述它們的微妙的數(shù)理概念之間存在一種關(guān)系菲驴，揭示這一關(guān)系中所呈現(xiàn)的美是作者接下來要做的事。在此基礎(chǔ)上骑冗，作者又進(jìn)而對現(xiàn)有的理論加以思考谢翎。依著這一思路捍靠，他在此書討論了大量的問題、爭論以及現(xiàn)象森逮，不僅是前面提到的相對論榨婆，還包括正誘惑著科學(xué)家們智慧的膜理論等。作者彭羅斯早已為中國讀者所熟悉褒侧，他曾于1988年與霍金共同分享當(dāng)年授予物理學(xué)家的沃爾夫獎良风。他的作品《皇帝新腦》《時空本性》（與霍金合著）此前曾在我國翻譯出版。來自《星期天泰晤士報》的評論說闷供，彭羅斯的書揭示了糾結(jié)在自然與人類想象力之間的美與精妙之處烟央。
--
20220324
