Reply to comment

Algorithms are precise,

Algorithms are precise, unambiguous and mechanical by definition. To know for sure that an algorithm is correct for a given task, one has to prove it. Of course there is no single proof for all algorithms, but one has to prove the correctness of each algorithm separately.


  • Web page addresses and e-mail addresses turn into links automatically.
  • Allowed HTML tags: <a> <em> <strong> <cite> <code> <ul> <ol> <li> <dl> <dt> <dd>
  • Lines and paragraphs break automatically.

More information about formatting options

To prevent automated spam submissions leave this field empty.
By submitting this form, you accept the Mollom privacy policy.