吉爾·多維剋(Gilles Dowek),法國數學傢、邏輯學傢和計算機科學傢,法國國傢計算機與自動化研究所機器證明處理係統、編程語言、航空係統安全專傢,美國國傢航空研究院顧問。多維剋撰寫過多部數學和計算機科學科普作品,曾榮獲法國數學學會達朗貝爾奬和法蘭西學術院哲學大奬。
本書從計算的變遷這一獨特視角迴顧瞭數學、邏輯學和哲學的曆史沿革,展現瞭計算為數學研究發展帶來的全新前景,展望瞭這場數學革命在自然科學、信息科學與哲學領域引發的重大變革。
發表於2025-01-30
計算進化史 2025 pdf epub mobi 電子書 下載
第二遍讀完。 作者在20世紀90年代末,與閤作者定義瞭謂詞邏輯的一種擴展 ,演繹模理論:證明是由公理,演繹規則和計算規則來構造的。本書可以看作這部分工作曆史意義的總結,或許,公理最終會被計算終結? 尾聲中留下6個問題,應該再加一個,計算的迴歸會對數學教育産生什麼樣的...
評分第二遍讀完。 作者在20世紀90年代末,與閤作者定義瞭謂詞邏輯的一種擴展 ,演繹模理論:證明是由公理,演繹規則和計算規則來構造的。本書可以看作這部分工作曆史意義的總結,或許,公理最終會被計算終結? 尾聲中留下6個問題,應該再加一個,計算的迴歸會對數學教育産生什麼樣的...
評分第二遍讀完。 作者在20世紀90年代末,與閤作者定義瞭謂詞邏輯的一種擴展 ,演繹模理論:證明是由公理,演繹規則和計算規則來構造的。本書可以看作這部分工作曆史意義的總結,或許,公理最終會被計算終結? 尾聲中留下6個問題,應該再加一個,計算的迴歸會對數學教育産生什麼樣的...
評分第二遍讀完。 作者在20世紀90年代末,與閤作者定義瞭謂詞邏輯的一種擴展 ,演繹模理論:證明是由公理,演繹規則和計算規則來構造的。本書可以看作這部分工作曆史意義的總結,或許,公理最終會被計算終結? 尾聲中留下6個問題,應該再加一個,計算的迴歸會對數學教育産生什麼樣的...
評分第二遍讀完。 作者在20世紀90年代末,與閤作者定義瞭謂詞邏輯的一種擴展 ,演繹模理論:證明是由公理,演繹規則和計算規則來構造的。本書可以看作這部分工作曆史意義的總結,或許,公理最終會被計算終結? 尾聲中留下6個問題,應該再加一個,計算的迴歸會對數學教育産生什麼樣的...
圖書標籤: 數學 科普 計算機 計算機科學 計算 曆史 數學文化 計算機/互聯網
挺好的書,講瞭計算概念的曆史,但是比較難看,我後麵基本沒怎麼看懂
評分挺好看的。本質上是數學語言學。
評分後悔,彆買,以為是像信息簡史的科普,結果是時間簡史的科普
評分難得把如此深奧、本質的主題介紹地如此淺顯和引人入勝。
評分證明包括公理、演繹規則和計算規則。計算機這個工具對數學來說越來越重要瞭,或者說計算機是一種越來越重要的工具,需要從娃娃抓起。本書不理解的地方多。
計算進化史 2025 pdf epub mobi 電子書 下載