计算进化史

证明是数学研究不可撼动的基石,但证明方法正经历翻天覆地的变化。人们开始质疑推理的至高地位,重新挖掘计...

2017.3