圖書標籤: 邏輯 科普 計算機 數學 計算機科學 計算機史 哲學 邏輯的引擎
发表于2024-09-26
邏輯的引擎 pdf epub mobi txt 電子書 下載 2024
本書介紹瞭現代計算機背後的那些基本概念和發展這些概念的人,描寫瞭萊布尼茨、布爾、費雷格、康托爾、希爾伯特、哥德爾、圖靈等天纔的生活和工作,講述瞭數學傢們如何在成果付諸應用之前很久就已經提齣瞭其背後的思想。博達著作權代理有限公司授權齣版據美國W.W.Norton公司2000年版本譯齣。2007年第二版亦使用同一ISBN。
馬丁·戴維斯是計算機科學發展史上的先驅人物,其《可計算性與不可解性》一書被譽為計算機科學領域極少數真正的經典著作之一。他是紐約大學庫朗數學科學研究所的榮譽退休教授,目前在加州大學伯剋利分校做訪問學者。
感覺就是一本介紹各位先哲的八卦的書。
評分三星半,全書八卦撕逼為主看得頭暈,但可以把人名軼事都抽離齣去,提煉齣一條人類抽象思維發展史,感觸最大的一處即是把完備定理做如下演繹:“如果指望一颱機器不犯錯誤,那麼它就不可能有智能”;此外關於各個型號的原始計算機,包括圖靈的通用機模型都介紹得太太太敷衍瞭……
評分雖然本書講的是邏輯數學的發展 但我覺得作者有些許語無倫次的傾嚮 你得費勁力氣纔能在各個數學傢的個人簡史中過濾齣跟邏輯數學有關的部分然而隨後發現你根本無法在作者的引導下理清各個數學傢的成就之間的循序漸進的邏輯關係 今晚硬著頭皮看完瞭前三章 明天直接跳過四五六 從七八章開始看算瞭
評分幾乎是我讀過最好的計算機原理書,邏輯,數理,自動計算發展沿革,計算機背後的數學問題…完全不同於普通套路,比0和1更深入,但因為把握在一個可以把科學當故事講的作傢的手中,加上一個專業的翻譯,少有的精準而通順,道理卻能講到位。力薦。
評分感覺就是一本介紹各位先哲的八卦的書。
每一章内各小节的组织比较乱,八卦夹杂在一起容易忘掉这人到底干了些什么。理了下我对他们贡献的理解。 1.莱布尼兹大神最早提出一个想法,我们的宇宙可以由一种符号推理演算来表示。 2.乔治·布尔把逻辑学纳入了数学的范畴,即布尔代数。 3.弗雷格发行了形式句法,使后人可...
評分是本好书。对计算机的历史从数学的角度作了精辟的解说。但是我读的是中文版。不知道谁有英文版的电子书,希望能给我一本。不盛感谢。
評分// 计算机科学是伪科学吗? 这个问题曾经一度让我焦虑过好多天,作为一个理想成为科学家的人,这个问题的答案对我来说意义重大。在我越来越多地了解计算机科学(computer science)后,内心却对CS属于Science产生了越来越多的怀疑。在一篇和这个问题相关的有些消极和偏激 但其...
評分 評分邏輯的引擎 pdf epub mobi txt 電子書 下載 2024