圖書標籤: 計算機  邏輯學  科普  數學  邏輯  第一推動叢書  計算機科學  科學   

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

• 
  皇帝新腦 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...  

推荐程度：最好的科普之一，考虑到CS的学生对计算理论的数学根基掌握不是很好，本书很有帮助。 主题：这本书介绍的是自动计算思想发展的历史。 内容：不仅仅是科学家佚事的八卦，还把基本（数学）问题的思想史讲得很清楚。 原作者：大牛境界，从本质层次深入浅出的讲到了计...  

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

每一章内各小节的组织比较乱，八卦夹杂在一起容易忘掉这人到底干了些什么。理了下我对他们贡献的理解。 1.莱布尼兹大神最早提出一个想法，我们的宇宙可以由一种符号推理演算来表示。 2.乔治·布尔把逻辑学纳入了数学的范畴，即布尔代数。 3.弗雷格发行了形式句法，使后人可...  

如今计算机已成为人类社会生活必不可少的一部分，潜入了人类社会生活的方方面面，计算机技术不仅促进了现代社会，而且也是现代社会的一个特征。在人们的观念中，计算机技术发展不过一个世纪，但其突飞猛进的发展速度已经超过了其他任何技术的发展；特别是近30年来，材料、工程...