科學定律之間，重新衡量相對論和量子理論。 計算機科學的先驅人物馬丁·戴維斯，講述計算機思想層面的歷史，引人入勝的表述再現萊布尼茨、布爾、康托爾、希爾伯特、哥德爾、圖靈等天才的思想。 複雜系統的前沿科學家梅拉妮·米歇爾，完美地揭示來自計算的關鍵...... more

本書講述了計算機思想層面的歷史，通過引人入勝的材料描寫了萊布尼茨、布爾、康托爾、希爾伯特、哥德爾、圖靈等天才的生活和工作，講述了數學家們如何在成果付諸應用之前就已經提出了其背后的思想。... more

作者馬丁‧戴維斯是計算機科學發展史上的先區人物，曾對希爾伯特第十問題有過深入的研究。《第一推動綜合系列︰邏輯的引擎》被譽從邏輯角度講述計算機發展的最好的通俗讀本。讀者將對西方文化的核心之一——邏輯或數學有更深的理解，並且造就一種敏銳的眼光...... more