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