证明未证明，反驳在继续--向大家推荐一部好书

当年在大一时，我好奇心强、好高务远、好学好动，好去校图书馆或北京图书馆啃一些数学系的人也不见得会去看的书，诸如《群论》、《数学物理中的微分形式》等数学大部头，可谓是生吞活剥、大块朵颐（当然也常因消化不良而打嗝FP），让我感受到了数学的恢宏壮丽、严谨推进。

与此恢宏严谨形成极大反差的是，拉卡托斯的一部数学书--书名好像是《证明未证明　反驳在继续》，书中给我展示了数学的另一面，高中时大家就确信的正多面体欧拉公式 V-E+F=2在此书中被巅来倒去地证明和证伪了好几次，当时颇有一种晕飞船的感觉，一会朝上一会朝下，心中却是由衷激荡着喜悦。

从此，我好像有了一点数学多疑病，几乎对每一个物理公式都要想一想其数学内涵究竟是什么、基础是否扎实、扎实的数学基础是否会被证伪。当然，这种病对学好物理似有一定的好处。

今天偶然看到复旦大学出版社出版的《证明与反驳--数学发现的逻辑》，从其简介看，当是我当年啃的书的扩展本。--当更有益，特此推荐。