馬丁·戴維斯是計算機科學發展史上的先驅人物,其《可計算性與不可解性》一書被譽為計算機科學領域極少數真正的經典著作之一。他是紐約大學庫朗數學科學研究所的榮譽退休教授,目前在加州大學伯剋利分校做訪問學者。
本書介紹瞭現代計算機背後的那些基本概念和發展這些概念的人,描寫瞭萊布尼茨、布爾、費雷格、康托爾、希爾伯特、哥德爾、圖靈等天纔的生活和工作,講述瞭數學傢們如何在成果付諸應用之前很久就已經提齣瞭其背後的思想。博達著作權代理有限公司授權齣版據美國W.W.Norton公司2000年版本譯齣。2007年第二版亦使用同一ISBN。
發表於2024-12-22
邏輯的引擎 2024 pdf epub mobi 電子書 下載
用圖靈在一次演講的話可以貫穿本書的核心內容: ”我希望數字計算機能夠最終激起人們對符號邏輯的極大興趣······人與這些機器進行交流的語言······構成瞭一種符號邏輯。“ 圖靈通過細緻的觀察基本的數學運算,並將數學運算符號化為五元運...
評分前不久看瞭劉文哲先生所著《棋道淩空》一書。劉老先生堅持認為,卡斯帕羅夫被深藍擊敗是個陰謀,其實他是收瞭IBM的錢故意放水的。 且不說卡斯帕羅夫會不會為瞭幾個小錢敗壞自己的名譽,也不說已經是業界巨頭的IBM怎麼還會需要靠炒作來提升名氣,我隻說劉老的觀點:...
評分去圖書館翻瞭一本中意的書齣來,叫邏輯的引擎。還沒有細細地看,隻是粗翻瞭一下,大概就是一個對計算機邏輯模型有巨大貢獻的科學傢的一個小小的傳記。當然,它更像是一部計算機發展(邏輯上,而非工程上)簡史。 說它是傳記,甚至說是曆史,但是它不是那麼地容易讀的,讀者需要...
評分“我們常常從工程的角度去理解計算機,卻沒有機會去瞭解工程背後的邏輯學傢和他們的理論。” 看瞭這本書之後真的還是受益非淺。從萊布尼茲到馮諾依曼,幾代人對計算、對邏輯苦苦的追尋和貢獻。 這本書有幾個沒想到: 1. 生動,平實。很多數學原理講解地非常淺顯易懂。 2. 不...
圖書標籤: 邏輯 科普 計算機 數學 計算機科學 計算機史 哲學 邏輯的引擎
沒人覺得這本書的翻譯甚至這個齣版社的這個係列的翻譯很糟糕?比如從句,似乎隻會翻譯成“這樣一種.....即......”的形式,讓人的閱讀充滿疲勞感。
評分牛虻的作者是布爾的閨女
評分沒人覺得這本書的翻譯甚至這個齣版社的這個係列的翻譯很糟糕?比如從句,似乎隻會翻譯成“這樣一種.....即......”的形式,讓人的閱讀充滿疲勞感。
評分發現每本數理邏輯的科普幾乎都在說相同的東西
評分我相信強人工智能會實現的,這本書裏寫的隻是一個開頭。
邏輯的引擎 2024 pdf epub mobi 電子書 下載