馬丁•戴維斯(Martin Davis),計算機科學發展史上的先驅人物,其《可計算性與不可解性》一書被譽為計算機科學領域極少數真正的經典著作之一,他是紐約大學庫朗數學科學研究所的榮譽教授,之後在加州大學伯剋利分校做訪問學者。
本書講述瞭計算機思想層麵的曆史,通過引人入勝的材料描寫瞭萊布尼茨、布爾、康托爾、希爾伯特、哥德爾、圖靈等天纔的生活和工作,講述瞭數學傢們如何在成果付諸應用之前就已經提齣瞭其背後的思想。
發表於2024-11-22
邏輯的引擎 2024 pdf epub mobi 電子書 下載
(一) 有一陣,我突然非常愛看教育頻道。那裏正在熱播迪斯尼的金牌節目:《藝術創想》。 這個節目裏有很多齣乎你意料的東西:廢舊的報紙經過主持人的手能變成精美的畫框,普通的布條亦能魔幻般變成綠蔭場上一個個神采奕奕的足球名將。 有一迴,主持人跑到某個學校的廚房...
評分(一) 有一陣,我突然非常愛看教育頻道。那裏正在熱播迪斯尼的金牌節目:《藝術創想》。 這個節目裏有很多齣乎你意料的東西:廢舊的報紙經過主持人的手能變成精美的畫框,普通的布條亦能魔幻般變成綠蔭場上一個個神采奕奕的足球名將。 有一迴,主持人跑到某個學校的廚房...
評分很美很感人的科普著作,對於計算機科學中基本概念發展史上重要數學傢數理邏輯學傢的溫情脈脈的描述呈現齣真正富有智慧的人麵對無盡的自然界奧秘時的注定的悲哀。在某本書裏看到的,“真正的智慧,從覺醒之日起,就包含著絕望的悲哀。” 本書對於希望從數理科學角度思考邏輯學本...
評分每一章內各小節的組織比較亂,八卦夾雜在一起容易忘掉這人到底乾瞭些什麼。理瞭下我對他們貢獻的理解。 1.萊布尼茲大神最早提齣一個想法,我們的宇宙可以由一種符號推理演算來錶示。 2.喬治·布爾把邏輯學納入瞭數學的範疇,即布爾代數。 3.弗雷格發行瞭形式句法,使後人可...
圖書標籤: 計算機 邏輯學 科普 數學 邏輯 第一推動叢書 計算機科學 科學
看的腦闊疼……
評分老爺子文筆一般般呀。計算機科學的發軔、從數學/邏輯母體的分娩、甚至包括McCulloch和Pitts等人的嘗試、McCarthy和Minsky的CSAIL,等等,內容應該可以再豐富、再跌宕起伏一些吧?
評分一般
評分現代計算機的大廈是用許多不起眼卻重要的磚塊建起來的,數學邏輯是其中重要的一部分。本書以數學史上重要的科學傢為主綫,將數學邏輯符號化可運算的發展曆史娓娓道來.
評分一部邏輯學在計算機方麵的發展史,可以看到巨星閃耀
邏輯的引擎 2024 pdf epub mobi 電子書 下載