我的圖書館

     
可用條款限制搜索
PRINTED MAT
作者 Davis, Martin, 1928-

標題 Engines of logic : mathematicians and the origin of the computer / Martin Davis.

出版資料 New York : Norton, 2001.

複本

館藏地 索書號 狀態
 EBL Adult Non-Fiction  004.09 D295e    AVAILABLE
說明 xii, 257 p. : ill. ; 21 cm.
Notes Originally published under the title The universal computer.
Bibliography Includes bibliographical references (p. [239]-247) and index.
Contents Leibniz's dream -- Boole turns logic into algebra -- Frege: from breakthrough to despair -- Cantor: detour through infinity -- Hilbert to the rescue -- G\AN232\odel upsets the applecart -- Turing conceives of the all-purpose computer -- Making the first universal computers -- Beyond Leibniz's dream.
主題 Electronic digital computers -- History.
國際標準書號 0393322297 (pbk.) :