强烈推荐

最近刚刚看完了Proof and Refutation,好长。。。

讲的是数学界各种对Proof,对Conjecture的看法,很喜欢,不过竟然没有怎么提公理体系,仅仅是一笔带过,这就有点不懂了= =

另:作者好强的文笔,竟然能同时驾驭这么多观点迥异的人物,还能描述他们的发展。。。我然后查了下wiki,好像是个很厉害的人。。。什么时候接着爬下他的work

最后,link:

Proofs and Refutations (I)

Proofs and Refutations (II)

Proofs and Refutations (III)

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搞成程序

文章被以下专栏收录
5 条评论
推荐阅读