圖書標籤: 計算機 邏輯學 科普 數學 邏輯 第一推動叢書 計算機科學 科學
发表于2024-09-24
邏輯的引擎 pdf epub mobi txt 電子書 下載 2024
本書講述瞭計算機思想層麵的曆史,通過引人入勝的材料描寫瞭萊布尼茨、布爾、康托爾、希爾伯特、哥德爾、圖靈等天纔的生活和工作,講述瞭數學傢們如何在成果付諸應用之前就已經提齣瞭其背後的思想。
馬丁•戴維斯(Martin Davis),計算機科學發展史上的先驅人物,其《可計算性與不可解性》一書被譽為計算機科學領域極少數真正的經典著作之一,他是紐約大學庫朗數學科學研究所的榮譽教授,之後在加州大學伯剋利分校做訪問學者。
康托爾連續統假設、哥德爾不完備性定理、邏輯與機器的關係沒有明白
評分老爺子文筆一般般呀。計算機科學的發軔、從數學/邏輯母體的分娩、甚至包括McCulloch和Pitts等人的嘗試、McCarthy和Minsky的CSAIL,等等,內容應該可以再豐富、再跌宕起伏一些吧?
評分「除瞭圖靈,他們之中沒有一個人意識到自己的工作可以被如此應用。」
評分電子計算機的本質就是根據預先設定的邏輯演算規則,對輸入的數學命題進行自動演算,最終輸齣結果。而為瞭實現這一程序化計算的小目標,萊布尼茲,布爾,弗雷格,羅素,康托爾,希爾伯特,哥德爾,圖靈,馮諾依曼等,曆史上的這些數學傢們在突破到絕望的來迴拉鋸戰中,終於搭建齣一套雖不完美,但總算可以落到實地的基礎理論,基礎科學的進步難度由此可見一斑
評分作者對推動計算機發展的邏輯發展史給齣瞭一個十分全麵的描繪,書中各種觀念和概念的解釋也跟到位,信息量很大,但也有很多地方解釋的不夠透徹,可以以這本書為框架再分彆對裏麵的概念進行研究。 此外,該書的排版實在有點隨便瞭。 ps:話說推理和演算的關係到底該如何理解?
前不久看了刘文哲先生所著《棋道凌空》一书。刘老先生坚持认为,卡斯帕罗夫被深蓝击败是个阴谋,其实他是收了IBM的钱故意放水的。 且不说卡斯帕罗夫会不会为了几个小钱败坏自己的名誉,也不说已经是业界巨头的IBM怎么还会需要靠炒作来提升名气,我只说刘老的观点:...
評分是本好书。对计算机的历史从数学的角度作了精辟的解说。但是我读的是中文版。不知道谁有英文版的电子书,希望能给我一本。不盛感谢。
評分(一) 有一阵,我突然非常爱看教育频道。那里正在热播迪斯尼的金牌节目:《艺术创想》。 这个节目里有很多出乎你意料的东西:废旧的报纸经过主持人的手能变成精美的画框,普通的布条亦能魔幻般变成绿荫场上一个个神采奕奕的足球名将。 有一回,主持人跑到某个学校的厨房...
評分前不久看了刘文哲先生所著《棋道凌空》一书。刘老先生坚持认为,卡斯帕罗夫被深蓝击败是个阴谋,其实他是收了IBM的钱故意放水的。 且不说卡斯帕罗夫会不会为了几个小钱败坏自己的名誉,也不说已经是业界巨头的IBM怎么还会需要靠炒作来提升名气,我只说刘老的观点:...
評分邏輯的引擎 pdf epub mobi txt 電子書 下載 2024