邏輯的引擎 在線電子書 圖書標籤: 計算機 邏輯學 科普 數學 邏輯 第一推動叢書 計算機科學 科學
發表於2025-02-16
邏輯的引擎 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2025
【第十二本】穿插在哲學書中看會另有一番思考的一本書,非常棒的一本書,不知道第一推動係列其他是否也這麼閤我胃口。從萊布尼茨到布爾到康托爾,從希爾伯特到哥德爾到圖靈,把計算機從最初的哲學思考到最終實物成型的思想脈絡理清楚是一件非常有趣的事情。最讓我著迷的是從康托爾到哥德爾這一段,人們對於邏輯、數學、集閤論、無限概念、群論等等的發展如此艱澀但仔細迴味卻如此美妙而偉大,仿佛在洞悉思考和人的本質,但又沒有陷入完全形而上的討論,這是最美妙的,因為往往完全陷入瞭形而上的討論的時候,反而容易讓我失去一條明確的思考綫索。我真有一些後悔大學的時候沒有好好學習抽象代數和近世代數,集閤論,群,域,環這些抽象的概念沒想到其實底層能與人類思想有這麼多迷人的契閤。哥德爾不完備定理如此強大,以至於我完全相信人類無法瞭解自身
評分老爺子文筆一般般呀。計算機科學的發軔、從數學/邏輯母體的分娩、甚至包括McCulloch和Pitts等人的嘗試、McCarthy和Minsky的CSAIL,等等,內容應該可以再豐富、再跌宕起伏一些吧?
評分講解瞭計算機前身與其理論來源,可以理解為一部曆史書。感覺看完吸收的很少。
評分從某種程度上而言,計算機是數學思維的産物
評分從某種程度上而言,計算機是數學思維的産物
馬丁•戴維斯(Martin Davis),計算機科學發展史上的先驅人物,其《可計算性與不可解性》一書被譽為計算機科學領域極少數真正的經典著作之一,他是紐約大學庫朗數學科學研究所的榮譽教授,之後在加州大學伯剋利分校做訪問學者。
本書講述瞭計算機思想層麵的曆史,通過引人入勝的材料描寫瞭萊布尼茨、布爾、康托爾、希爾伯特、哥德爾、圖靈等天纔的生活和工作,講述瞭數學傢們如何在成果付諸應用之前就已經提齣瞭其背後的思想。
用图灵在一次演讲的话可以贯穿本书的核心内容: ”我希望数字计算机能够最终激起人们对符号逻辑的极大兴趣······人与这些机器进行交流的语言······构成了一种符号逻辑。“ 图灵通过细致的观察基本的数学运算,并将数学运算符号化为五元运...
評分这本书的主要内容就是介绍数学中的一些最基本的思想是如何一步步发展成为计算机的理论基础的。 作者本人是学数学出身的,后来从计算机诞生之时起就从事相关工作,作为一个专业人员来解释相关的内容,确实是游刃有余。 作者从数学专业本身出发解释一些用于计算机的数理逻辑的问...
評分 評分计算机作为人类历史上最伟大的发明之一,我们一直称之为科技的进步,但是这本书告诉我们,这不过是数学家们在追求终极真理的道路上顺便摘得的果实而已。 计算机不仅仅是一大堆二极管三极管,更重要的是二极管和三极管怎么能构成这么一个神奇的东西,谁说可以有这样一个神奇的东...
評分是本好书。对计算机的历史从数学的角度作了精辟的解说。但是我读的是中文版。不知道谁有英文版的电子书,希望能给我一本。不盛感谢。
邏輯的引擎 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2025