I define an AGI as "friendly" if it outputs "hello world", and unfriendly otherwise. Then I can write a program that outputs "hello world" (left as an exercise for the reader), and prove that this program is friendly by running it and checking the output.
It is straightforward to extend this to any r.e. definition of friendliness. Given any output known to be friendly, I can write a program that can be proven to be friendly. -- Matt Mahoney, [EMAIL PROTECTED] ----- 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/[EMAIL PROTECTED]
