On the finitist Wolfram physics model, E-bok
This paper explains how the finitist Wolfram model follows from Concerning the weakest coherent formalization of methodological skepticism as a Bayesian updater by the world being a non-terminating linear bounded automaton, it can be divided into coordinated finite automata of irreducible classes that makes up a multiway state graph. Other than the short explanation the paper is merely summarizing.