标签：数学史

《逻辑的引擎》，马丁·戴维斯 著，张卜天 译，湖南科学技术出版社，2018年3月出版。 这是一本科学史类型的书籍，讲述的是在计算机即将被发明问世之前的那短暂一瞬（好吧，其实是大约三个世纪，横跨七位伟 …