摘要：
条件完备后执行后继计算: F = Future(context & P & r(F)) + Call(r(F) = F(input - 1)) Continuation是一种非常古老的程序结构，简单说来就是entire default future of a computation, 即对程序“接下 阅读全文
摘要：
什么叫‘关于数学的逻辑’？我们把它拆开来看。首先，它是逻辑，而逻辑，我们知道，就是研究推理论证的学问。推理是逻辑研究的内容，论证是逻辑研究的形式。一个完整的逻辑论证，是由一组句子依次构成。前面的句子叫做前提，最后那个句子叫做结论，一个论证如果‘正确’，那么一定符合‘若前提为真则结论也为真’的规律。 阅读全文