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
--
http://mail.python.org/mailman/listinfo/python-list
