Dear George,
As a follow-up to the above post, on the issue of infinity, incompleteness and non-computability... I do not think that the Mathematical Universe Hypothesis runs into problems related to Gödel's incompleteness theorem, because I believe that Gödel's theorem only means that there exist true mathematical statements that can never be proven by a finite set of axioms manipulated by a finite mind. Non-infinitely intelligent mathematicians will never be able to fully capture the whole of mathematics within a consistent axiomatic system, but this would even be the case without Gödel's incompleteness, because mathematics is infinite. Gödel's incompleteness theorem only means that some mathematical truths will forever remain out of reach from any finite mathematician. So what? An infinite mathematical structure might seem incomplete from the point of view of a finite mathematician, but it doesn't mean that it is not, in the proper infinite context, perfectly well defined --- so I think the Mathematical Universe Hypothesis (MUH) is well-defined even if it implies an infinite Maxiverse. I do not believe, like Tegmark does, that it is necessary to restrict the MUH to finite "computable" functions to make it work (what he calls the CUH, for Computable Universe Hypothesis). There is still the measure problem, of course... and I admit that until we get a better handle on the issue, we won't be able to determine if the regularity and relative simplicity of our universe is "likely" or "unlikely" within all the worlds of the Maxiverse.
Marc