在岡道爾夫堡和劍橋召開的這兩次跨學科專題討論會上，數學家、物理學家和哲學家們對「數學是什麼」這一問題進行了探討。本書以周詳的形式再現了每位與會者在討論中所展現的風采，這些討論既反映了其所需的思想精確性... more

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