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

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

• 
  通靈芯片 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 電子書 下載

雖然本書講的是邏輯數學的發展 但我覺得作者有些許語無倫次的傾嚮 你得費勁力氣纔能在各個數學傢的個人簡史中過濾齣跟邏輯數學有關的部分然而隨後發現你根本無法在作者的引導下理清各個數學傢的成就之間的循序漸進的邏輯關係 今晚硬著頭皮看完瞭前三章 明天直接跳過四五六 從七八章開始看算瞭

感覺就是一本介紹各位先哲的八卦的書。

我相信強人工智能會實現的，這本書裏寫的隻是一個開頭。

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

沒人覺得這本書的翻譯甚至這個齣版社的這個係列的翻譯很糟糕？比如從句，似乎隻會翻譯成“這樣一種.....即......”的形式，讓人的閱讀充滿疲勞感。

俺最喜欢结尾的这句话： 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...  

用图灵在一次演讲的话可以贯穿本书的核心内容： ”我希望数字计算机能够最终激起人们对符号逻辑的极大兴趣······人与这些机器进行交流的语言······构成了一种符号逻辑。“ 图灵通过细致的观察基本的数学运算，并将数学运算符号化为五元运...  

俺最喜欢结尾的这句话： 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...  

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