return in loop for ?

[Paul Rubin]

Mike Meyer <mwm at mired.org> writes:
> Which means you can't create a verifier which will verify all
> programs. Is there a reason to believe that you can't have a verifier
> with three possible outcomes: Correct, Incorrect, and I don't know,
> and it is always correct in doing so? Note that "I don't know" could
> be "I ran longer than I think is reasonable and gave up trying."

It's trivial to write such a verifier, if you get my drift.