邏輯的引擎
作 者: (美)馬丁·戴維斯(Martin Davis) 著;張卜天 譯 著作
定 價: 49
出?版?社: 湖南科學技術出版社
出版日期: 2018年01月01日
頁 數: 291
裝 幀: 平裝
ISBN: 9787535794420
內容簡介
《邏輯的引擎》(馬丁·戴維斯著)這本關於計算機起源的書剖析了計算機思想層面的歷史,通過引人入勝的材料描寫了萊布尼茨、布爾、康托爾、希爾伯特、哥德爾、圖靈等天纔的生活和工作,講述數學家們如何在成果付諸應用之前就已經提出了其背後的思想。
(美)馬丁·戴維斯(Martin Davis) 著;張卜天 譯 著作
馬丁·戴維斯,是計算機科學發展目前的先驅人物,其《可計算性與不可解性》一書被譽為計算機科學領域極少數真正的經典著作之一他是紐約大學庫朗數學科學研究所的榮譽退休教授,目前在加州大學伯克利分校做訪問學者。
張卜天,1979年9月生,師從吳國盛。熱愛哲學和科學史方面的翻譯,研究方向為西方中世紀和近代早期科學思想史,研究領域主要集中在近代科學的起源和科學革命。
本書講述的是我們的現代計算機背後的那些基本概念和發展出這些概念的人。1951年春,當我在阿蘭·圖靈(Alan Turing)本人曾於10年前工作過的普林斯頓大學獲得了數理邏輯博士學位之後不久,我便在伊利諾伊大學講授一門以他的思想為基礎的課程。有一位一直在聽我的講座的年輕的數學家使我注意到教室的街對面正在建造的兩臺機器,他認為它們就是圖靈觀念的物理體現。不久,我就在為這些早期的計算機編寫軟件了。我持續了半個多世紀的職業生涯便是圍繞著現代計算機背後的抽像邏輯概念與它們的物理實現之間的關繫而展開的。計算機從20世紀50年代的塞滿整個房間的龐然大物,逐漸演變成今天輕巧而強大的能夠完成各種任務的機器,在這整個過程中,其背後的邏輯始終保持如一。這些邏輯概念是幾個世紀以來數位天纔思想家一步步發展出來的。在本書中,我將講述這些人的生活故事,並解釋他們的部分思想。這些故事本身是引人入勝的,我希望讀者們不僅能......
"