數學、邏輯學、電腦科學三大領域實屬一家,彼此成jiu,彼此影響。從古希臘哲學到電腦,數位、計算、推理這些貌似簡單的概念在三千年裡融匯、碰撞。如何將邏輯賦予數學意義?如何從簡單運算走向複雜智慧?這背後充滿了人類智慧的閃光:從柏拉圖、萊布尼茨、羅素、香農到圖靈都試圖從數學公式中證明推理的合理性,締造完整的思維體系。他們是憑天賦制勝,還是魯莽地大膽一搏?
本書描繪了一場人類探索數學、演算法與邏輯思維,並走向人工智慧的夢想之旅,展現了哲學家、邏輯學家與數學家獨特的思維方式,探討了演算法與人工智慧對科學和社會的巨大影響。