初看起来,全文检索与数学证明似乎没有关系。其实不然。何故？

全文检索就是在有限步骤内确定一类特定的句子是否存在。

而数学证明就是在由此说、你步骤之内路逻辑?判定一个给定的句子是否成立。

所以，全文检索与数学证明在理论本质上是一回事。

请见：好消息：三卷扫描的效果特别好！

袁萌  陈启清 8月17日