something that can be easily noticed and tested from the outside
This concept is extremely complex (for example, which “outside” are you talking about?).
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.
Yes, using a formal world simplifies this a lot.
This concept is extremely complex (for example, which “outside” are you talking about?).
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.
Yes, using a formal world simplifies this a lot.