馬丁·戴維斯是計算機科學發展史上的先驅人物,其《可計算性與不可解性》一書被譽為計算機科學領域極少數真正的經典著作之一。他是紐約大學庫朗數學科學研究所的榮譽退休教授,目前在加州大學伯剋利分校做訪問學者。
本書介紹瞭現代計算機背後的那些基本概念和發展這些概念的人,描寫瞭萊布尼茨、布爾、費雷格、康托爾、希爾伯特、哥德爾、圖靈等天纔的生活和工作,講述瞭數學傢們如何在成果付諸應用之前很久就已經提齣瞭其背後的思想。博達著作權代理有限公司授權齣版據美國W.W.Norton公司2000年版本譯齣。2007年第二版亦使用同一ISBN。
發表於2024-06-01
邏輯的引擎 2024 pdf epub mobi 電子書 下載
這本書的主要內容就是介紹數學中的一些最基本的思想是如何一步步發展成為計算機的理論基礎的。 作者本人是學數學齣身的,後來從計算機誕生之時起就從事相關工作,作為一個專業人員來解釋相關的內容,確實是遊刃有餘。 作者從數學專業本身齣發解釋一些用於計算機的數理邏輯的問...
評分1. 感覺這纔是真正的計算機導論。同時發現19世紀到20世紀初的大牛幾乎都是早慧的天纔,最重要的貢獻在30齣頭那會幾乎都已完成。估計跟那個時候沒有很強的專業壁壘,而且都是通識教育,可以更早的不受限的進行自由的探索有關。 2. 像某人說的,現在我們看似直接的定義和理論,...
評分* 計算通過在一條被劃分成方格的紙帶上寫下符號來進行。 * 執行計算的人在每一步都隻注意其中一個方格中的符號。 * 她的下一步將僅僅取決於這個符號和她當前的心靈狀態。 * 她的下一步是這樣的:她在當前注意的方格裏寫下一個符號,然後把注意力轉嚮它左邊或右邊的相鄰方格。 ...
評分很美很感人的科普著作,對於計算機科學中基本概念發展史上重要數學傢數理邏輯學傢的溫情脈脈的描述呈現齣真正富有智慧的人麵對無盡的自然界奧秘時的注定的悲哀。在某本書裏看到的,“真正的智慧,從覺醒之日起,就包含著絕望的悲哀。” 本書對於希望從數理科學角度思考邏輯學本...
評分俺最喜歡結尾的這句話: 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...
圖書標籤: 邏輯 科普 計算機 數學 計算機科學 計算機史 哲學 邏輯的引擎
從數學與邏輯的角度講述計算機的發展史。 我們隻知道電子管、晶體管、集成電路,卻不知道計算機背後的思想。萊布尼茨、布爾、希爾伯特、哥德爾、圖靈、馮諾依曼。。。那些偉大的名字不應該被忘記。
評分讀過後第一次把多年攢下的碎片連綴在一起,此刻迴頭去看,纔明白當初以為正確的方嚮即使不算是偏離,也是在繞遠。許多綫索明明已在手邊,卻由於缺乏更宏觀的視野,越不過那最後一層薄薄的阻礙,曾經最看重的觀念帶來激勵的同時,也造成瞭最大的局限。其實關於身心問題的答案並不在哲學之中,更不在心理學之中,維也納小組之後如果能明白哥德爾的真正意義,也許也就能明白邏輯學如何與工程結閤,不至在概念的海洋裏迷失。現在再讀到,是否算是一切平息後對孤獨的報償?可是還是晚瞭。
評分從數學與邏輯的角度講述計算機的發展史。 我們隻知道電子管、晶體管、集成電路,卻不知道計算機背後的思想。萊布尼茨、布爾、希爾伯特、哥德爾、圖靈、馮諾依曼。。。那些偉大的名字不應該被忘記。
評分我相信強人工智能會實現的,這本書裏寫的隻是一個開頭。
評分令人目眩的激情、幽默。有夢的人有福瞭。
邏輯的引擎 2024 pdf epub mobi 電子書 下載