《邏輯的引擎》是2018年湖南科學技術出版社出版的圖書，作者是[美] 馬丁•戴維斯。
基本介紹
- 中文名：邏輯的引擎
- 作者： （美）馬丁•戴維斯
- 譯者：張卜天
- 出版時間：2018年1月
- 出版社：湖南科學技術出版社
- ISBN：9787535794420
- 原作品：Engines of Logic: Mathematicians and the Origin of the Computer
- 定價：49 元
- 裝幀：平裝
內容簡介,作者簡介,目錄 ,
內容簡介
本書講述了計算機思想層面的歷史，通過引人入勝的材料描寫了萊布尼茨、布爾、康托爾、希爾伯特、哥德爾、圖靈等天才的生活和工作，講述了數學家們如何在成果付諸套用之前就已經提出了其背後的思想。
作者簡介
馬丁•戴維斯（Martin Davis），計算機科學發展史上的先驅人物，其《可計算性與不可解性》一書被譽為計算機科學領域極少數真正的經典著作之一，他是紐約大學庫朗數學科學研究所的榮譽教授，之後在加州大學伯克利分校做訪問學者。
目錄
引言
第一章 萊布尼茨之夢
第二章 布爾把邏輯變成代數
第三章 弗雷格：從突破到絕望
第四章 康托爾：在無限中摸索
第五章 希爾伯特的營救
第六章 哥德爾使計畫落空
第七章 圖靈構想通用計算機
第八章 研製第一批通用計算機
第九章 超越萊布尼茨之夢
尾聲
注釋
參考書目
索引
譯後記
