# Inconsistency in Tegmark's Mathematical Universe Hypothesis?

Physicist Max Tegmark is widely known for proposing that there is a multiverse where mathematical structures would exist as real and actual universes (https://en.wikipedia.org/wiki/Mathematical_universe_hypothesis)

He has suggested that his mathematical structures would be completely consistent. He uses Hilbert's definition of mathematical existence (Which basically says that as long as a mathematical structure is consistent, it will exist)

But he published a relatively recent paper (https://arxiv.org/pdf/0704.0646.pdf) where he says:

I hypothesize that only computable and decidable (in Gödel’s sense) structures exist

This confused me a lot since Gödel's incompleteness theorems deduce that undecidability implies consistency, and decidability implies inconsistency.

So what is happening here? Is he proposing inconsistent mathematical structures as existent now? Did he change his mind?

This confusion gets worse at the end of the article, where he said:

According to the CUH, the mathematical structure that is our universe is computable and hence well-defined in the strong sense that all its relations can be computed. There are thus no physical aspects of our universe that are uncomputable/undecidable, eliminating the above mentioned concern that Gödel’s work makes it somehow incomplete or inconsistent.

This seems to contradict Gödel's theorems: If a universe would be completely decidable defined and complete, wouldn't that mean that it would be inconsistent?

• As I understand it, that means he excludes from consideration any structures that are subject to incompleteness. Recall that ‎Gödel's first incompleteness says that any axiomatic system that can represent the arithmetic of the natural numbers must be incomplete or inconsistent. If you throw out the pesky axiom of induction, you no longer satisfy the hypotheses. Jun 19 '19 at 4:02
• 2) Consider for example all the programs you could possibly run on an actual physical computer like your laptop. It's got bounded capacity, hence can't implement induction. So any mathematical structure that could be computed on your laptop is ok. This is of course a FAR cry from "the universe is a mathematical structure." It represents a substantial retreat IMO. And it's almost certainly false. For one thing it's inconsistent with known physics. Jun 19 '19 at 4:02
• Jun 19 '19 at 15:31
• "It excludes much of the landscape of mathematical structures, not to mention that pretty much every successful physical theory so far would violate CUH". He can be interpreted as allowing only finite (but perhaps very large) structures, and treating the "infinite" ones we use as asymptotic approximations. If the model is finite the theory describing it is both consistent and complete (e.g. Boolean algebra). Jun 19 '19 at 15:37