He is known for work on the Weil conjectures, leading finally to a complete proof in 1973.
The complete proof can be obtained by multiplying out this result.
Hales estimates that producing a complete formal proof will take around 20 years of work.
Nothing, of course, can be complete proof against criminality.
The fact that a dog acted like a chicken was not complete proof.
It wouldn't be complete proof, but Colossus did not play cat and mouse.
Cook has since written a paper setting out his complete proof.
The paper contains a complete self-contained proof of the theorem.
If he is dead you will provide explicit and complete proof.
Ryll-Nardzewski himself gave a complete proof in the original spirit.
