Hello,
Thanks in advance for answering my questions :)
The question is: What do we mean by "Proving an algorithm"?
I'm having a problem in where to start (if I want to use contradiction for example)...
Thanks again Abdallah
Hello, Thanks in advance for answering my questions :) The question is: What do we mean by "Proving an algorithm"? I'm having a problem in where to start (if I want to use contradiction for example)... Thanks again Abdallah 

closed as off topic by Andy Putman, Zev Chonoles, Felipe Voloch, Chris Godsil, quid Feb 12 '12 at 17:25Questions on MathOverflow are expected to relate to research level mathematics within the scope defined by the community. Consider editing the question or leaving comments for improvement if you believe the question can be reworded to fit within the scope. Read more about reopening questions here. If this question can be reworded to fit the rules in the help center, please edit the question. 


It means to prove
It is/seems sometimes obvious, but in general it isn’t. 

