最近刚刚看完了Proof and Refutation，好长。。。
讲的是数学界各种对Proof，对Conjecture的看法，很喜欢，不过竟然没有怎么提公理体系，仅仅是一笔带过，这就有点不懂了= =
另：作者好强的文笔，竟然能同时驾驭这么多观点迥异的人物，还能描述他们的发展。。。我然后查了下wiki，好像是个很厉害的人。。。什么时候接着爬下他的work
最后，link：
Proofs and Refutations (IV)还有这在CS的应用
Proof-Directed Debugging‘Proof-directed debugging’ revisited for a first-order version 去掉上面的Continuation，更加新手友好 （对于你打算教的人，对你更难了）
Proof-Directed Debugging and Repair 试图把Proof-Directed Debugging搞成程序