On 9/19/06, Matt Mahoney <[EMAIL PROTECTED]> wrote:
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.
Until a cosmic ray causes a bit flip and the the output changes to "hell_ world" ;-) Stefan -- Stefan Pernar App. 1-6-I, Piao Home No. 19 Jiang Tai Xi Lu 100016 Beijing China Mobil: +86 1391 009 1931 Skype: Stefan.Pernar ----- 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]
