This paper investigates whether a universe whose dynamics are computed by another physical system can be experimentally distinguished from one with fundamental dynamics. It examines computability, simulation definitions, computational implementations, and applies the physical Church–Turing program to determine if finite internal experiments can prove computed versus fundamental dynamics under specified conditions.