• 计算进化史:改变数学的命运

    吉尔·多维克   劳佳   译

    【内容简介】 长久以来,推理与证明一直是数学研究不可撼动的基石。然而,从20世纪70代初起,证明方法发生了翻...