邏輯的引擎 pdf epub mobi txt 電子書 下載2025
馬丁•戴維斯（Martin Davis），計算機科學發展史上的先驅人物，其《可計算性與不可解性》一書被譽為計算機科學領域極少數真正的經典著作之一，他是紐約大學庫朗數學科學研究所的榮譽教授，之後在加州大學伯剋利分校做訪問學者。
- 計算機
- 邏輯學
- 科普
- 數學
- 邏輯
- 第一推動叢書
- 計算機科學
- 科學
本書講述瞭計算機思想層麵的曆史，通過引人入勝的材料描寫瞭萊布尼茨、布爾、康托爾、希爾伯特、哥德爾、圖靈等天纔的生活和工作，講述瞭數學傢們如何在成果付諸應用之前就已經提齣瞭其背後的思想。
具體描述
讀後感
每一章内各小节的组织比较乱，八卦夹杂在一起容易忘掉这人到底干了些什么。理了下我对他们贡献的理解。 1.莱布尼兹大神最早提出一个想法，我们的宇宙可以由一种符号推理演算来表示。 2.乔治·布尔把逻辑学纳入了数学的范畴，即布尔代数。 3.弗雷格发行了形式句法，使后人可...
評分俺最喜欢结尾的这句话： The Dukes of Hanover thought they knew what Leibniz should be doing with his time: working on their family history. Too often today, those who provide scientists with the resources for their lives and work try to steer them in direc...
評分计算机作为人类历史上最伟大的发明之一，我们一直称之为科技的进步，但是这本书告诉我们，这不过是数学家们在追求终极真理的道路上顺便摘得的果实而已。 计算机不仅仅是一大堆二极管三极管，更重要的是二极管和三极管怎么能构成这么一个神奇的东西，谁说可以有这样一个神奇的东...
評分 評分// 计算机科学是伪科学吗？ 这个问题曾经一度让我焦虑过好多天，作为一个理想成为科学家的人，这个问题的答案对我来说意义重大。在我越来越多地了解计算机科学（computer science）后，内心却对CS属于Science产生了越来越多的怀疑。在一篇和这个问题相关的有些消极和偏激 但其...
用戶評價
看的腦闊疼……
评分數理邏輯推薦的科普讀物，作為數理邏輯科普的話隻看圖靈之前就可以瞭，但如果這樣，這本書寫的過於“普”瞭；我更推薦《哥德爾證明》。/ 圖靈之後對於計算機的介紹更適閤我們這些哲學係學生，但是過於技術的內容不太感興趣所以隻是草草翻過。/ 另外作者把人物軼事和理論混在一起的寫法實在不好，而且人物軼事過豐富瞭… / 但還是補瞭很多課，最重要的是布爾和康托爾，這兩個人並沒有在《哥德爾證明》那本書中單獨齣現。
评分瞭解真實的曆史
评分【第十二本】穿插在哲學書中看會另有一番思考的一本書，非常棒的一本書，不知道第一推動係列其他是否也這麼閤我胃口。從萊布尼茨到布爾到康托爾，從希爾伯特到哥德爾到圖靈，把計算機從最初的哲學思考到最終實物成型的思想脈絡理清楚是一件非常有趣的事情。最讓我著迷的是從康托爾到哥德爾這一段，人們對於邏輯、數學、集閤論、無限概念、群論等等的發展如此艱澀但仔細迴味卻如此美妙而偉大，仿佛在洞悉思考和人的本質，但又沒有陷入完全形而上的討論，這是最美妙的，因為往往完全陷入瞭形而上的討論的時候，反而容易讓我失去一條明確的思考綫索。我真有一些後悔大學的時候沒有好好學習抽象代數和近世代數，集閤論，群，域，環這些抽象的概念沒想到其實底層能與人類思想有這麼多迷人的契閤。哥德爾不完備定理如此強大，以至於我完全相信人類無法瞭解自身
评分老爺子文筆一般般呀。計算機科學的發軔、從數學/邏輯母體的分娩、甚至包括McCulloch和Pitts等人的嘗試、McCarthy和Minsky的CSAIL，等等，內容應該可以再豐富、再跌宕起伏一些吧？
相關圖書
本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等
© 2025 qciss.net All Rights Reserved. 小哈圖書下載中心 版权所有