return in loop for ?

Paul Rubin http
Mon Nov 28 22:20:16 CET 2005

Mike Meyer <mwm at> 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.

More information about the Python-list mailing list