Discussion between user21820 and Nathaniel

Imported from a comment discussion on http://cs.stackexchange.com/questions/69580/example-of-an-algorithm-that-lacks-a-proof-of-correctness/69583#69583