有人说，数学将在这个世纪发生惊人的变迁，而这一变革的导火索正是数学的古老基石——计算。计算能否摆脱人们的偏见，最终颠覆公理与证明的至高地位，成为推动数学发展的新动力？数学的研究是否也终将借助机器？计算机科学与数学的独特关系能否将数学引向人力所不及的疆域？数学的革命又将带给自然科学和哲学怎样的震撼？
