cousin_it comments on Open Thread June 2010, Part 4

[cousin_it]

You seem to be reading more than I intended into my original question. If the program is running in a simulated world, we’re on the outside.

[Vladimir_Nesov]

Yes, using a formal world simplifies this a lot.