return in loop for ?

[Sybren Stuvel]

Duncan Booth enlightened us with:
> I would have thought that no matter how elaborate the checking it is
> guaranteed there exist programs which are correct but your verifier
> cannot prove that they are.

Yep, that's correct. I thought the argument was similar to the proof
that no program (read: Turing machine) can determine whether a program
will terminate or not.

Sybren
-- 
The problem with the world is stupidity. Not saying there should be a
capital punishment for stupidity, but why don't we just take the
safety labels off of everything and let the problem solve itself? 
                                             Frank Zappa