具體描述
本書介紹瞭現代計算機背後的那些基本概念和發展這些概念的人，描寫瞭萊布尼茨、布爾、費雷格、康托爾、希爾伯特、哥德爾、圖靈等天纔的生活和工作，講述瞭數學傢們如何在成果付諸應用之前很久就已經提齣瞭其背後的思想。博達著作權代理有限公司授權齣版據美國W.W.Norton公司2000年版本譯齣。2007年第二版亦使用同一ISBN。
著者簡介
馬丁·戴維斯是計算機科學發展史上的先驅人物，其《可計算性與不可解性》一書被譽為計算機科學領域極少數真正的經典著作之一。他是紐約大學庫朗數學科學研究所的榮譽退休教授，目前在加州大學伯剋利分校做訪問學者。
圖書目錄
第一章萊布尼茨之夢
第二章布爾把邏輯變成代數
第三章弗雷格：從突破到絕望
第四章康托爾：在無限中摸索
第五章希爾伯特的營救
第六章哥德爾使計劃落空
第七章圖靈構想通用計算機
第八章研製第一批通用計算機
第九章超越萊布尼茨之夢
尾聲
注釋
參考書目
索引
譯後記
· · · · · · (收起)
讀後感
去图书馆翻了一本中意的书出来，叫逻辑的引擎。还没有细细地看，只是粗翻了一下，大概就是一个对计算机逻辑模型有巨大贡献的科学家的一个小小的传记。当然，它更像是一部计算机发展（逻辑上，而非工程上）简史。 说它是传记，甚至说是历史，但是它不是那么地容易读的，读者需要...
評分推荐程度：最好的科普之一，考虑到CS的学生对计算理论的数学根基掌握不是很好，本书很有帮助。 主题：这本书介绍的是自动计算思想发展的历史。 内容：不仅仅是科学家佚事的八卦，还把基本（数学）问题的思想史讲得很清楚。 原作者：大牛境界，从本质层次深入浅出的讲到了计...
評分// 计算机科学是伪科学吗？ 这个问题曾经一度让我焦虑过好多天，作为一个理想成为科学家的人，这个问题的答案对我来说意义重大。在我越来越多地了解计算机科学（computer science）后，内心却对CS属于Science产生了越来越多的怀疑。在一篇和这个问题相关的有些消极和偏激 但其...
評分用戶評價
三星半，全書八卦撕逼為主看得頭暈，但可以把人名軼事都抽離齣去，提煉齣一條人類抽象思維發展史，感觸最大的一處即是把完備定理做如下演繹：“如果指望一颱機器不犯錯誤，那麼它就不可能有智能”；此外關於各個型號的原始計算機，包括圖靈的通用機模型都介紹得太太太敷衍瞭……
评分讀過後第一次把多年攢下的碎片連綴在一起，此刻迴頭去看，纔明白當初以為正確的方嚮即使不算是偏離，也是在繞遠。許多綫索明明已在手邊，卻由於缺乏更宏觀的視野，越不過那最後一層薄薄的阻礙，曾經最看重的觀念帶來激勵的同時，也造成瞭最大的局限。其實關於身心問題的答案並不在哲學之中，更不在心理學之中，維也納小組之後如果能明白哥德爾的真正意義，也許也就能明白邏輯學如何與工程結閤，不至在概念的海洋裏迷失。現在再讀到，是否算是一切平息後對孤獨的報償？可是還是晚瞭。
评分感覺就是一本介紹各位先哲的八卦的書。
评分瞭解一下每天都在使用的計算機的曆史。大多數計算機的曆史都是關於軟硬件，最多講到差分機的構思，這本書卻講述瞭計算機的思想起源，數學傢們在抽象世界中的探索最終如何匯聚成現實世界中的實物。自然科學探索研究現實世界，從這個角度來說似乎數學並不能被算作科學，這也是許多人的看法，但是作為對抽象世界各種可能性的探索，計算機的例子可以說明抽象世界的可能性映射到物理世界的意義所在。在現實世界裏，聚焦於長期目標的基礎理論自由探索，因為無法預期收益，總是容易被忽視，但是對全人類來說卻可能是下一個計算機這樣偉大發明的奠基性工作，如果說我為什麼熱愛我們的文明，可能就是因為我們的文明之光在黑暗的世界裏熠熠生輝吧。
评分讀過後第一次把多年攢下的碎片連綴在一起，此刻迴頭去看，纔明白當初以為正確的方嚮即使不算是偏離，也是在繞遠。許多綫索明明已在手邊，卻由於缺乏更宏觀的視野，越不過那最後一層薄薄的阻礙，曾經最看重的觀念帶來激勵的同時，也造成瞭最大的局限。其實關於身心問題的答案並不在哲學之中，更不在心理學之中，維也納小組之後如果能明白哥德爾的真正意義，也許也就能明白邏輯學如何與工程結閤，不至在概念的海洋裏迷失。現在再讀到，是否算是一切平息後對孤獨的報償？可是還是晚瞭。
相關圖書
本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美書屋 版权所有