证明方法与理论

本书基于作者对大量文献的阅读和整理，根据希尔伯特的一个想法或者说几句话，对已有的数学证明方法进行了分类和回顾。有志于研究数理逻辑或者是数学哲学方法论的可作为参考书，但不能作为科普读物。将证明方法进行分类，我觉得更多是哲学上的意义，并不能很好地帮助解决数学问题。前些天看二阶算数那本书也是如此，可以找到一些问题的等价形式，但这并不能降低未解决的问题的难度。不过鉴于力迫法的出现本身就是解决连续统的独立性问题，这种哲学或者说方法论的倾向也就可以理解了。08-16