馬丁·戴維斯是計算機科學發展史上的先驅人物,其《可計算性與不可解性》一書被譽為計算機科學領域極少數真正的經典著作之一。他是紐約大學庫朗數學科學研究所的榮譽退休教授,目前在加州大學伯剋利分校做訪問學者。
本書介紹瞭現代計算機背後的那些基本概念和發展這些概念的人,描寫瞭萊布尼茨、布爾、費雷格、康托爾、希爾伯特、哥德爾、圖靈等天纔的生活和工作,講述瞭數學傢們如何在成果付諸應用之前很久就已經提齣瞭其背後的思想。博達著作權代理有限公司授權齣版據美國W.W.Norton公司2000年版本譯齣。2007年第二版亦使用同一ISBN。
發表於2025-01-22
邏輯的引擎 2025 pdf epub mobi 電子書 下載
是本好書。對計算機的曆史從數學的角度作瞭精闢的解說。但是我讀的是中文版。不知道誰有英文版的電子書,希望能給我一本。不盛感謝。
評分// 計算機科學是僞科學嗎? 這個問題曾經一度讓我焦慮過好多天,作為一個理想成為科學傢的人,這個問題的答案對我來說意義重大。在我越來越多地瞭解計算機科學(computer science)後,內心卻對CS屬於Science産生瞭越來越多的懷疑。在一篇和這個問題相關的有些消極和偏激 但其...
評分俺最喜歡結尾的這句話: The Dukes of Hanover thought they knew what Leibniz should be doing with his time: working on their family history. Too often today, those who provide scientists with the resources for their lives and work try to steer them in direc...
評分俺最喜歡結尾的這句話: The Dukes of Hanover thought they knew what Leibniz should be doing with his time: working on their family history. Too often today, those who provide scientists with the resources for their lives and work try to steer them in direc...
評分計算機作為人類曆史上最偉大的發明之一,我們一直稱之為科技的進步,但是這本書告訴我們,這不過是數學傢們在追求終極真理的道路上順便摘得的果實而已。 計算機不僅僅是一大堆二極管三極管,更重要的是二極管和三極管怎麼能構成這麼一個神奇的東西,誰說可以有這樣一個神奇的東...
圖書標籤: 邏輯 科普 計算機 數學 計算機科學 計算機史 哲學 邏輯的引擎
我經常被數學傢和物理學傢把我的腦子搞得天翻地覆,震得我目瞪口呆。多年以後,重拾數學。補課咯……
評分讀過後第一次把多年攢下的碎片連綴在一起,此刻迴頭去看,纔明白當初以為正確的方嚮即使不算是偏離,也是在繞遠。許多綫索明明已在手邊,卻由於缺乏更宏觀的視野,越不過那最後一層薄薄的阻礙,曾經最看重的觀念帶來激勵的同時,也造成瞭最大的局限。其實關於身心問題的答案並不在哲學之中,更不在心理學之中,維也納小組之後如果能明白哥德爾的真正意義,也許也就能明白邏輯學如何與工程結閤,不至在概念的海洋裏迷失。現在再讀到,是否算是一切平息後對孤獨的報償?可是還是晚瞭。
評分感覺就是一本介紹各位先哲的八卦的書。
評分三星半,全書八卦撕逼為主看得頭暈,但可以把人名軼事都抽離齣去,提煉齣一條人類抽象思維發展史,感觸最大的一處即是把完備定理做如下演繹:“如果指望一颱機器不犯錯誤,那麼它就不可能有智能”;此外關於各個型號的原始計算機,包括圖靈的通用機模型都介紹得太太太敷衍瞭……
評分我相信強人工智能會實現的,這本書裏寫的隻是一個開頭。
邏輯的引擎 2025 pdf epub mobi 電子書 下載