The possibility of a complete formal theory of physics exists wherein running a program would reproduce any physical phenomena in the universe; however, computational irreducibility makes it challenging to pick away and determine a fundamental theory.