Mike Meyer <[EMAIL PROTECTED]> 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. -- http://mail.python.org/mailman/listinfo/python-list
