On 27/01/2008, Vladimir Nesov <[EMAIL PROTECTED]> wrote: > > Consider the following subset of possible requirements: the program is > > correct > > if and only if it halts. > > It's a perfectly valid requirement, and I can write all sorts of > software that satisfies it. I can't take a piece of software that I > didn't write and tell you it it satisfies it, but I can write piece of > software that satisfies it, that also does all sorts of useful stuff.
This would seem to imply that you've solved the halting problem. ----- This list is sponsored by AGIRI: http://www.agiri.org/email To unsubscribe or change your options, please go to: http://v2.listbox.com/member/?member_id=8660244&id_secret=90483744-a4b35c
