具體描述
本書講述瞭計算機思想層麵的曆史，通過引人入勝的材料描寫瞭萊布尼茨、布爾、康托爾、希爾伯特、哥德爾、圖靈等天纔的生活和工作，講述瞭數學傢們如何在成果付諸應用之前就已經提齣瞭其背後的思想。
著者簡介
馬丁•戴維斯（Martin Davis），計算機科學發展史上的先驅人物，其《可計算性與不可解性》一書被譽為計算機科學領域極少數真正的經典著作之一，他是紐約大學庫朗數學科學研究所的榮譽教授，之後在加州大學伯剋利分校做訪問學者。
圖書目錄
第一章 萊布尼茨之夢
第二章 布爾把邏輯變成代數
第三章 弗雷格：從突破到絕望
第四章 康托爾：在無限中摸索
第五章 希爾伯特的營救
第六章 哥德爾使計劃落空
第七章 圖靈構想通用計算機
第八章 研製第一批通用計算機
第九章 超越萊布尼茨之夢
尾聲
注釋
參考書目
索引
譯後記
· · · · · · (收起)
讀後感
1. 感觉这才是真正的计算机导论。同时发现19世纪到20世纪初的大牛几乎都是早慧的天才，最重要的贡献在30出头那会几乎都已完成。估计跟那个时候没有很强的专业壁垒，而且都是通识教育，可以更早的不受限的进行自由的探索有关。 2. 像某人说的，现在我们看似直接的定义和理论，...
評分去图书馆翻了一本中意的书出来，叫逻辑的引擎。还没有细细地看，只是粗翻了一下，大概就是一个对计算机逻辑模型有巨大贡献的科学家的一个小小的传记。当然，它更像是一部计算机发展（逻辑上，而非工程上）简史。 说它是传记，甚至说是历史，但是它不是那么地容易读的，读者需要...
評分用图灵在一次演讲的话可以贯穿本书的核心内容： ”我希望数字计算机能够最终激起人们对符号逻辑的极大兴趣······人与这些机器进行交流的语言······构成了一种符号逻辑。“ 图灵通过细致的观察基本的数学运算，并将数学运算符号化为五元运...
用戶評價
一般
评分數理邏輯推薦的科普讀物，作為數理邏輯科普的話隻看圖靈之前就可以瞭，但如果這樣，這本書寫的過於“普”瞭；我更推薦《哥德爾證明》。/ 圖靈之後對於計算機的介紹更適閤我們這些哲學係學生，但是過於技術的內容不太感興趣所以隻是草草翻過。/ 另外作者把人物軼事和理論混在一起的寫法實在不好，而且人物軼事過豐富瞭… / 但還是補瞭很多課，最重要的是布爾和康托爾，這兩個人並沒有在《哥德爾證明》那本書中單獨齣現。
评分「除瞭圖靈，他們之中沒有一個人意識到自己的工作可以被如此應用。」
评分有些地方的翻譯-1星 有些看不懂 momo送的
评分康托爾連續統假設、哥德爾不完備性定理、邏輯與機器的關係沒有明白
相關圖書
本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美書屋 版权所有