內容簡介

有人說，數學將在這個世紀發生驚人的變遷，而這一變革的導火索正是數學的古老基石——計算。計算能否擺脫人們的偏見，最終顛覆公理與證明的至高地位，成為推動數學發展的新動力？數學的研究是否也終將借助機器？計算機科學與數學的獨特關系能否將數學引向人力所不及的疆域？數學的革命又將帶給自然科學和哲學怎樣的震撼？