糊涂散人正在读的书 >
-
计算进化史
(22人已评价)[法] 吉尔·多维克 | 人民邮电出版社 | 2017-2本书从计算的变迁这一独特视角回顾了数学、逻辑学和哲学的历史沿革,展现了计算为数学研究发展带来的全新前景,展望了这场数学革命在自然科学、信息科学与哲学领域引发的重大变革。
-
图灵的秘密
(342人已评价)[美] Charles Petzold | 人民邮电出版社 | 2012-11图灵机是英国数学家阿兰•图灵提出的一种抽象计算模型,本书深入剖析了图灵这篇描述图灵机和可计算性的原始论文《论可计算数及其在判定性问题上的应用》。书中在详解论文的同时,也附带了大量的历史背景资料、图灵的...