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.

CAPTCHA
This question is for testing whether you are a human visitor and to prevent automated spam submissions.