邏輯的引擎 在線電子書 圖書標籤: 邏輯 科普 計算機 數學 計算機科學 計算機史 哲學 邏輯的引擎
發表於2025-02-12
邏輯的引擎 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2025
關於數理邏輯的知識我看起來還是有很大的睏難,不過不可否認,這是一本難得的講述計算本質的好書。看來,是時候深究一下GEB瞭。
評分瞭解一下每天都在使用的計算機的曆史。大多數計算機的曆史都是關於軟硬件,最多講到差分機的構思,這本書卻講述瞭計算機的思想起源,數學傢們在抽象世界中的探索最終如何匯聚成現實世界中的實物。自然科學探索研究現實世界,從這個角度來說似乎數學並不能被算作科學,這也是許多人的看法,但是作為對抽象世界各種可能性的探索,計算機的例子可以說明抽象世界的可能性映射到物理世界的意義所在。在現實世界裏,聚焦於長期目標的基礎理論自由探索,因為無法預期收益,總是容易被忽視,但是對全人類來說卻可能是下一個計算機這樣偉大發明的奠基性工作,如果說我為什麼熱愛我們的文明,可能就是因為我們的文明之光在黑暗的世界裏熠熠生輝吧。
評分讀過後第一次把多年攢下的碎片連綴在一起,此刻迴頭去看,纔明白當初以為正確的方嚮即使不算是偏離,也是在繞遠。許多綫索明明已在手邊,卻由於缺乏更宏觀的視野,越不過那最後一層薄薄的阻礙,曾經最看重的觀念帶來激勵的同時,也造成瞭最大的局限。其實關於身心問題的答案並不在哲學之中,更不在心理學之中,維也納小組之後如果能明白哥德爾的真正意義,也許也就能明白邏輯學如何與工程結閤,不至在概念的海洋裏迷失。現在再讀到,是否算是一切平息後對孤獨的報償?可是還是晚瞭。
評分關於數理邏輯的知識我看起來還是有很大的睏難,不過不可否認,這是一本難得的講述計算本質的好書。看來,是時候深究一下GEB瞭。
評分感覺就是一本介紹各位先哲的八卦的書。
馬丁·戴維斯是計算機科學發展史上的先驅人物,其《可計算性與不可解性》一書被譽為計算機科學領域極少數真正的經典著作之一。他是紐約大學庫朗數學科學研究所的榮譽退休教授,目前在加州大學伯剋利分校做訪問學者。
本書介紹瞭現代計算機背後的那些基本概念和發展這些概念的人,描寫瞭萊布尼茨、布爾、費雷格、康托爾、希爾伯特、哥德爾、圖靈等天纔的生活和工作,講述瞭數學傢們如何在成果付諸應用之前很久就已經提齣瞭其背後的思想。博達著作權代理有限公司授權齣版據美國W.W.Norton公司2000年版本譯齣。2007年第二版亦使用同一ISBN。
前不久看了刘文哲先生所著《棋道凌空》一书。刘老先生坚持认为,卡斯帕罗夫被深蓝击败是个阴谋,其实他是收了IBM的钱故意放水的。 且不说卡斯帕罗夫会不会为了几个小钱败坏自己的名誉,也不说已经是业界巨头的IBM怎么还会需要靠炒作来提升名气,我只说刘老的观点:...
評分俺最喜欢结尾的这句话: 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...
評分如今计算机已成为人类社会生活必不可少的一部分,潜入了人类社会生活的方方面面,计算机技术不仅促进了现代社会,而且也是现代社会的一个特征。在人们的观念中,计算机技术发展不过一个世纪,但其突飞猛进的发展速度已经超过了其他任何技术的发展;特别是近30年来,材料、工程...
評分“我们常常从工程的角度去理解计算机,却没有机会去了解工程背后的逻辑学家和他们的理论。” 看了这本书之后真的还是受益非浅。从莱布尼兹到冯诺依曼,几代人对计算、对逻辑苦苦的追寻和贡献。 这本书有几个没想到: 1. 生动,平实。很多数学原理讲解地非常浅显易懂。 2. 不...
邏輯的引擎 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2025