《逻辑的引擎》，马丁·戴维斯 著，张卜天 译，湖南科学技术出版社，2018年3月出版。
这是一本科学史类型的书籍，讲述的是在计算机即将被发明问世之前的那短暂一瞬（好吧，其实是大约三个世纪，横跨七位伟大科学家的故事）。全书始于莱布尼茨，不是因为他发明了微积分，而是因为他的一个梦想，关于对通用知识及其逻辑进行演算的机器。诚然，莱布尼茨在符号系统的发明，不仅促进了微积分的诞生和推广，也推动了他的演算机器之梦向着实现前进。接下来， …
《逻辑的引擎》，马丁·戴维斯 著，张卜天 译，湖南科学技术出版社，2018年3月出版。
这是一本科学史类型的书籍，讲述的是在计算机即将被发明问世之前的那短暂一瞬（好吧，其实是大约三个世纪，横跨七位伟大科学家的故事）。全书始于莱布尼茨，不是因为他发明了微积分，而是因为他的一个梦想，关于对通用知识及其逻辑进行演算的机器。诚然，莱布尼茨在符号系统的发明，不仅促进了微积分的诞生和推广，也推动了他的演算机器之梦向着实现前进。接下来， …