本書講述了計算機思想層面的歷史,通過引人入勝的材料描寫了萊布尼茨、布爾、康托爾、希爾伯特、哥德爾、圖靈等天纔的生活和工作,講述了數學家們如何在成果付諸應用之前就已經提出了其背後的思想。
作者簡介:
馬丁·戴維斯(Martin Davis),計算機科學發展史上的先驅人物,其《可計算性與不可解性》一書被譽為計算機科學領域極少數真正的經典著作之一,他是紐約大學庫朗數學科學研究所的榮譽教授,之後在加州大學伯克利分校做訪問學者。
譯者介紹:
張卜天,1979年9月生,師從吳國盛。熱愛哲學和科學史方面的翻譯,研究方向為西方中世紀和近代早期科學思想史,研究領域主要集中在近代科學的起源和科學革命。
引言第一章 萊布尼茨之夢第二章 布爾把邏輯變成代數第三章 弗雷格:從突破到絕望第四章 康托爾:在無限中摸索第五章 希爾伯特的營救第六章 哥德爾使計劃落空第七章 圖靈構想通用計算機第八章 研制第一批通用計算機第九章 超越萊布尼茨之夢尾聲注釋參考書目索引譯後記
請選擇顏色、尺碼等選項!
已成功加入購物車!