See Resources for a formal proof of the algorithm.

有关这种算法的形式证明请参阅 参考资料。

youdao

As of now we have not received any formal proof ', he said.

到现在我们还没有收到任何正式的官方文件。

youdao

Indeed, agencies enjoy considerably wider power to dispense with formal proof than the courts do.

事实上，行政机关较之法院享有更多更广泛的权力省却正式的举证。

youdao

4 So this is 16 times 4 equals 64 and though this is not proof by any means, it's not a formal proof because here is one example that happens to prove my point.

所以是16*4，即,尽管如此，这并不是严格的证明,因为是这个例子碰巧证明了我的观点。

哈佛公开课 - 计算机科学课程节选

The first is that computers, with their tolerance for tedium, are particularly suited to writing the steps of a formal proof down.

ECONOMIST: Just what does it mean to prove something?

However, rather than have part of the proof done by hand, and part by computer, he has automated the entire proof, and done so in such a manner that it is a formal proof.

ECONOMIST: Just what does it mean to prove something?

Formal proof is a notion developed in the early part of the 20th century by logicians such as Bertrand Russell and Gottlob Frege, along with mathematicians such as David Hilbert (who can fairly be described as the father of modern mathematics) and Nicolas Bourbaki, the pseudonym of a group of French mathematicians who sought to place all of mathematics on a rigorous footing.

ECONOMIST: Just what does it mean to prove something?