我的图书馆

     
可用条款限制搜索
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.) :