圖書標籤: 邏輯  科普  計算機  數學  計算機科學  計算機史  哲學  邏輯的引擎   

喜歡 邏輯的引擎 的讀者還喜歡

• 
  通靈芯片 pdf epub mobi txt 電子書 下載
• 
  哥德爾、艾捨爾、巴赫 pdf epub mobi txt 電子書 下載
• 
  數學：確定性的喪失 pdf epub mobi txt 電子書 下載
• 
  證明與反駁 pdf epub mobi txt 電子書 下載
• 
  希爾伯特 pdf epub mobi txt 電子書 下載
• 
  哥德爾證明 pdf epub mobi txt 電子書 下載
• 
  編碼的奧秘 pdf epub mobi txt 電子書 下載
• 
  數理邏輯 pdf epub mobi txt 電子書 下載
• 
  哥德爾 pdf epub mobi txt 電子書 下載
• 
  研究之美 pdf epub mobi txt 電子書 下載

令人目眩的激情、幽默。有夢的人有福瞭。

瞭解一下每天都在使用的計算機的曆史。大多數計算機的曆史都是關於軟硬件，最多講到差分機的構思，這本書卻講述瞭計算機的思想起源，數學傢們在抽象世界中的探索最終如何匯聚成現實世界中的實物。自然科學探索研究現實世界，從這個角度來說似乎數學並不能被算作科學，這也是許多人的看法，但是作為對抽象世界各種可能性的探索，計算機的例子可以說明抽象世界的可能性映射到物理世界的意義所在。在現實世界裏，聚焦於長期目標的基礎理論自由探索，因為無法預期收益，總是容易被忽視，但是對全人類來說卻可能是下一個計算機這樣偉大發明的奠基性工作，如果說我為什麼熱愛我們的文明，可能就是因為我們的文明之光在黑暗的世界裏熠熠生輝吧。

通用計算機威武

瞭解一下每天都在使用的計算機的曆史。大多數計算機的曆史都是關於軟硬件，最多講到差分機的構思，這本書卻講述瞭計算機的思想起源，數學傢們在抽象世界中的探索最終如何匯聚成現實世界中的實物。自然科學探索研究現實世界，從這個角度來說似乎數學並不能被算作科學，這也是許多人的看法，但是作為對抽象世界各種可能性的探索，計算機的例子可以說明抽象世界的可能性映射到物理世界的意義所在。在現實世界裏，聚焦於長期目標的基礎理論自由探索，因為無法預期收益，總是容易被忽視，但是對全人類來說卻可能是下一個計算機這樣偉大發明的奠基性工作，如果說我為什麼熱愛我們的文明，可能就是因為我們的文明之光在黑暗的世界裏熠熠生輝吧。

三星半，全書八卦撕逼為主看得頭暈，但可以把人名軼事都抽離齣去，提煉齣一條人類抽象思維發展史，感觸最大的一處即是把完備定理做如下演繹：“如果指望一颱機器不犯錯誤，那麼它就不可能有智能”；此外關於各個型號的原始計算機，包括圖靈的通用機模型都介紹得太太太敷衍瞭……

去图书馆翻了一本中意的书出来，叫逻辑的引擎。还没有细细地看，只是粗翻了一下，大概就是一个对计算机逻辑模型有巨大贡献的科学家的一个小小的传记。当然，它更像是一部计算机发展（逻辑上，而非工程上）简史。 说它是传记，甚至说是历史，但是它不是那么地容易读的，读者需要...  

很美很感人的科普著作，对于计算机科学中基本概念发展史上重要数学家数理逻辑学家的温情脉脉的描述呈现出真正富有智慧的人面对无尽的自然界奥秘时的注定的悲哀。在某本书里看到的，“真正的智慧，从觉醒之日起，就包含着绝望的悲哀。” 本书对于希望从数理科学角度思考逻辑学本...  

计算机作为人类历史上最伟大的发明之一，我们一直称之为科技的进步，但是这本书告诉我们，这不过是数学家们在追求终极真理的道路上顺便摘得的果实而已。 计算机不仅仅是一大堆二极管三极管，更重要的是二极管和三极管怎么能构成这么一个神奇的东西，谁说可以有这样一个神奇的东...