具體描述
本書講述瞭計算機思想層麵的曆史，通過引人入勝的材料描寫瞭萊布尼茨、布爾、康托爾、希爾伯特、哥德爾、圖靈等天纔的生活和工作，講述瞭數學傢們如何在成果付諸應用之前就已經提齣瞭其背後的思想。
著者簡介
馬丁•戴維斯（Martin Davis），計算機科學發展史上的先驅人物，其《可計算性與不可解性》一書被譽為計算機科學領域極少數真正的經典著作之一，他是紐約大學庫朗數學科學研究所的榮譽教授，之後在加州大學伯剋利分校做訪問學者。
圖書目錄
第一章 萊布尼茨之夢
第二章 布爾把邏輯變成代數
第三章 弗雷格：從突破到絕望
第四章 康托爾：在無限中摸索
第五章 希爾伯特的營救
第六章 哥德爾使計劃落空
第七章 圖靈構想通用計算機
第八章 研製第一批通用計算機
第九章 超越萊布尼茨之夢
尾聲
注釋
參考書目
索引
譯後記
· · · · · · (收起)
讀後感
1. 感觉这才是真正的计算机导论。同时发现19世纪到20世纪初的大牛几乎都是早慧的天才，最重要的贡献在30出头那会几乎都已完成。估计跟那个时候没有很强的专业壁垒，而且都是通识教育，可以更早的不受限的进行自由的探索有关。 2. 像某人说的，现在我们看似直接的定义和理论，...
評分 評分去图书馆翻了一本中意的书出来，叫逻辑的引擎。还没有细细地看，只是粗翻了一下，大概就是一个对计算机逻辑模型有巨大贡献的科学家的一个小小的传记。当然，它更像是一部计算机发展（逻辑上，而非工程上）简史。 说它是传记，甚至说是历史，但是它不是那么地容易读的，读者需要...
評分* 计算通过在一条被划分成方格的纸带上写下符号来进行。 * 执行计算的人在每一步都只注意其中一个方格中的符号。 * 她的下一步将仅仅取决于这个符号和她当前的心灵状态。 * 她的下一步是这样的：她在当前注意的方格里写下一个符号，然后把注意力转向它左边或右边的相邻方格。 ...
評分（一） 有一阵，我突然非常爱看教育频道。那里正在热播迪斯尼的金牌节目：《艺术创想》。 这个节目里有很多出乎你意料的东西：废旧的报纸经过主持人的手能变成精美的画框，普通的布条亦能魔幻般变成绿荫场上一个个神采奕奕的足球名将。 有一回，主持人跑到某个学校的厨房...
用戶評價
數理邏輯推薦的科普讀物，作為數理邏輯科普的話隻看圖靈之前就可以瞭，但如果這樣，這本書寫的過於“普”瞭；我更推薦《哥德爾證明》。/ 圖靈之後對於計算機的介紹更適閤我們這些哲學係學生，但是過於技術的內容不太感興趣所以隻是草草翻過。/ 另外作者把人物軼事和理論混在一起的寫法實在不好，而且人物軼事過豐富瞭… / 但還是補瞭很多課，最重要的是布爾和康托爾，這兩個人並沒有在《哥德爾證明》那本書中單獨齣現。
评分看的腦闊疼……
评分看瞭一半，未看完！
评分作者對推動計算機發展的邏輯發展史給齣瞭一個十分全麵的描繪，書中各種觀念和概念的解釋也跟到位，信息量很大，但也有很多地方解釋的不夠透徹，可以以這本書為框架再分彆對裏麵的概念進行研究。 此外，該書的排版實在有點隨便瞭。 ps:話說推理和演算的關係到底該如何理解？
评分「除瞭圖靈，他們之中沒有一個人意識到自己的工作可以被如此應用。」
相關圖書
本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美書屋 版权所有