Paul Rubin <http://[EMAIL PROTECTED]> writes:
> 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.
Almost as cute as the simplest self-replicating shell script.
Ok, so it's possible. Are there any useful examples? Does the BCPL
type verifier count?
<mike
--
Mike Meyer <[EMAIL PROTECTED]> http://www.mired.org/home/mwm/
Independent WWW/Perforce/FreeBSD/Unix consultant, email for more information.
--
http://mail.python.org/mailman/listinfo/python-list
