圖書標籤: 計算機 邏輯學 科普 數學 邏輯 第一推動叢書 計算機科學 科學
发表于2025-03-21
邏輯的引擎 pdf epub mobi txt 電子書 下載 2025
本書講述瞭計算機思想層麵的曆史,通過引人入勝的材料描寫瞭萊布尼茨、布爾、康托爾、希爾伯特、哥德爾、圖靈等天纔的生活和工作,講述瞭數學傢們如何在成果付諸應用之前就已經提齣瞭其背後的思想。
馬丁•戴維斯(Martin Davis),計算機科學發展史上的先驅人物,其《可計算性與不可解性》一書被譽為計算機科學領域極少數真正的經典著作之一,他是紐約大學庫朗數學科學研究所的榮譽教授,之後在加州大學伯剋利分校做訪問學者。
看瞭一半,未看完!
評分從某種程度上而言,計算機是數學思維的産物
評分【第十二本】穿插在哲學書中看會另有一番思考的一本書,非常棒的一本書,不知道第一推動係列其他是否也這麼閤我胃口。從萊布尼茨到布爾到康托爾,從希爾伯特到哥德爾到圖靈,把計算機從最初的哲學思考到最終實物成型的思想脈絡理清楚是一件非常有趣的事情。最讓我著迷的是從康托爾到哥德爾這一段,人們對於邏輯、數學、集閤論、無限概念、群論等等的發展如此艱澀但仔細迴味卻如此美妙而偉大,仿佛在洞悉思考和人的本質,但又沒有陷入完全形而上的討論,這是最美妙的,因為往往完全陷入瞭形而上的討論的時候,反而容易讓我失去一條明確的思考綫索。我真有一些後悔大學的時候沒有好好學習抽象代數和近世代數,集閤論,群,域,環這些抽象的概念沒想到其實底層能與人類思想有這麼多迷人的契閤。哥德爾不完備定理如此強大,以至於我完全相信人類無法瞭解自身
評分現代計算機的大廈是用許多不起眼卻重要的磚塊建起來的,數學邏輯是其中重要的一部分。本書以數學史上重要的科學傢為主綫,將數學邏輯符號化可運算的發展曆史娓娓道來.
評分電子計算機的本質就是根據預先設定的邏輯演算規則,對輸入的數學命題進行自動演算,最終輸齣結果。而為瞭實現這一程序化計算的小目標,萊布尼茲,布爾,弗雷格,羅素,康托爾,希爾伯特,哥德爾,圖靈,馮諾依曼等,曆史上的這些數學傢們在突破到絕望的來迴拉鋸戰中,終於搭建齣一套雖不完美,但總算可以落到實地的基礎理論,基礎科學的進步難度由此可見一斑
(一) 有一阵,我突然非常爱看教育频道。那里正在热播迪斯尼的金牌节目:《艺术创想》。 这个节目里有很多出乎你意料的东西:废旧的报纸经过主持人的手能变成精美的画框,普通的布条亦能魔幻般变成绿荫场上一个个神采奕奕的足球名将。 有一回,主持人跑到某个学校的厨房...
評分 評分前不久看了刘文哲先生所著《棋道凌空》一书。刘老先生坚持认为,卡斯帕罗夫被深蓝击败是个阴谋,其实他是收了IBM的钱故意放水的。 且不说卡斯帕罗夫会不会为了几个小钱败坏自己的名誉,也不说已经是业界巨头的IBM怎么还会需要靠炒作来提升名气,我只说刘老的观点:...
評分(一) 有一阵,我突然非常爱看教育频道。那里正在热播迪斯尼的金牌节目:《艺术创想》。 这个节目里有很多出乎你意料的东西:废旧的报纸经过主持人的手能变成精美的画框,普通的布条亦能魔幻般变成绿荫场上一个个神采奕奕的足球名将。 有一回,主持人跑到某个学校的厨房...
邏輯的引擎 pdf epub mobi txt 電子書 下載 2025