>>11176432A machine can only be defined by means of a larger, more complex machine. For example a Turing machine can only be completely defined (its halting states and its non-halting states) using an oracle machine with access to the Halting Problem. This is more or less a mathematical proof of the Simulation Hypothesis. We couldn't exist without a larger machine containing us, with access to our own Halting Problem.
