具體描述
本書介紹瞭現代計算機背後的那些基本概念和發展這些概念的人，描寫瞭萊布尼茨、布爾、費雷格、康托爾、希爾伯特、哥德爾、圖靈等天纔的生活和工作，講述瞭數學傢們如何在成果付諸應用之前很久就已經提齣瞭其背後的思想。博達著作權代理有限公司授權齣版據美國W.W.Norton公司2000年版本譯齣。2007年第二版亦使用同一ISBN。
著者簡介
馬丁·戴維斯是計算機科學發展史上的先驅人物，其《可計算性與不可解性》一書被譽為計算機科學領域極少數真正的經典著作之一。他是紐約大學庫朗數學科學研究所的榮譽退休教授，目前在加州大學伯剋利分校做訪問學者。
圖書目錄
第一章萊布尼茨之夢
第二章布爾把邏輯變成代數
第三章弗雷格：從突破到絕望
第四章康托爾：在無限中摸索
第五章希爾伯特的營救
第六章哥德爾使計劃落空
第七章圖靈構想通用計算機
第八章研製第一批通用計算機
第九章超越萊布尼茨之夢
尾聲
注釋
參考書目
索引
譯後記
· · · · · · (收起)
讀後感
是本好书。对计算机的历史从数学的角度作了精辟的解说。但是我读的是中文版。不知道谁有英文版的电子书，希望能给我一本。不盛感谢。
評分前不久看了刘文哲先生所著《棋道凌空》一书。刘老先生坚持认为，卡斯帕罗夫被深蓝击败是个阴谋，其实他是收了IBM的钱故意放水的。 且不说卡斯帕罗夫会不会为了几个小钱败坏自己的名誉，也不说已经是业界巨头的IBM怎么还会需要靠炒作来提升名气，我只说刘老的观点：...
評分用图灵在一次演讲的话可以贯穿本书的核心内容： ”我希望数字计算机能够最终激起人们对符号逻辑的极大兴趣······人与这些机器进行交流的语言······构成了一种符号逻辑。“ 图灵通过细致的观察基本的数学运算，并将数学运算符号化为五元运...
評分“我们常常从工程的角度去理解计算机，却没有机会去了解工程背后的逻辑学家和他们的理论。” 看了这本书之后真的还是受益非浅。从莱布尼兹到冯诺依曼，几代人对计算、对逻辑苦苦的追寻和贡献。 这本书有几个没想到: 1. 生动，平实。很多数学原理讲解地非常浅显易懂。 2. 不...
評分去图书馆翻了一本中意的书出来，叫逻辑的引擎。还没有细细地看，只是粗翻了一下，大概就是一个对计算机逻辑模型有巨大贡献的科学家的一个小小的传记。当然，它更像是一部计算机发展（逻辑上，而非工程上）简史。 说它是传记，甚至说是历史，但是它不是那么地容易读的，读者需要...
用戶評價
瞭解一下每天都在使用的計算機的曆史。大多數計算機的曆史都是關於軟硬件，最多講到差分機的構思，這本書卻講述瞭計算機的思想起源，數學傢們在抽象世界中的探索最終如何匯聚成現實世界中的實物。自然科學探索研究現實世界，從這個角度來說似乎數學並不能被算作科學，這也是許多人的看法，但是作為對抽象世界各種可能性的探索，計算機的例子可以說明抽象世界的可能性映射到物理世界的意義所在。在現實世界裏，聚焦於長期目標的基礎理論自由探索，因為無法預期收益，總是容易被忽視，但是對全人類來說卻可能是下一個計算機這樣偉大發明的奠基性工作，如果說我為什麼熱愛我們的文明，可能就是因為我們的文明之光在黑暗的世界裏熠熠生輝吧。
评分學校買瞭本舊書
评分尼瑪原來哥德爾有個機油也叫Karl Menger....
评分幾乎是我讀過最好的計算機原理書，邏輯，數理，自動計算發展沿革，計算機背後的數學問題…完全不同於普通套路，比0和1更深入，但因為把握在一個可以把科學當故事講的作傢的手中，加上一個專業的翻譯，少有的精準而通順，道理卻能講到位。力薦。
评分萊布尼茲、布爾、弗雷格、康托爾、希伯特、哥德爾、圖靈。邏輯數學，形式邏輯，並通過工程學轉換為當代機器和人工智能
相關圖書
本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美書屋 版权所有