How can anyone be sure that any Algorithm is: Precise, unambiguous mechanical efficient correct procedure ?

Perhaps I have missed the decisive and conclusive proof on this.

By submitting this form, you accept the Mollom privacy policy.