數(shù)學、邏輯學、計算機科學三大領(lǐng)域?qū)崒僖患�，彼此成jiu，彼此影響。從古希臘哲學到計算機，數(shù)字、計算、推理這些貌似簡單的概念在三千年里融匯、碰撞。如何將邏輯賦予數(shù)學意義？如何從簡單運算走向復雜智慧？這背后充滿了人類智慧的閃光：從柏拉圖、萊布尼茨、羅素、香農(nóng)到圖靈都試圖從數(shù)學公式中證明推理的合理性，締造完整的思維體系。他們是憑天賦制勝，還是魯莽地大膽一搏？本書描繪了一場人類探索數(shù)學、算法與邏輯思維，并走向人工智能的夢想之旅，展現(xiàn)了哲學家、邏輯學家與數(shù)學家獨特的思維方式，探討了算法與人工智能對科學和社會的巨大影響。