Below I have slightly rewritten my argument along the lines I had
originally intended - the first effort was too rushed. The rewrite may
answer your question.
At 2/12/01, you wrote:
>Hal, you wrote (among lots of other things):
> > 2) But the other universe also has to stop given the fixed FAS complexity
> > i.e. another new running contradiction.
>Can you discern - after the split - which is "the other"?
>(excuse me for this question for a situation which I do not condone at all).
In the context that a particular evolving universe is a recursively
enumerable theorem cascade of a particular finite consistent FAS can a
Each theorem in a cascade has an AIT complexity greater than its preimage
because the cascade itself is the shortest program for computing any
theorem in it.
If the FAS has a finite AIT complexity and is fixed then the cascade must
eventually stop when the complexity of its individual theorems becomes
equal to the max complexity supported by the fixed FAS i.e. the complexity
of the FAS itself plus a constant.
The endpoint theorem must be one that has no successor under the rules of
Such a theorem has a low complexity since I just described it.
Thus we seem to have a contradiction - a cascade of ever more complex
theorems must stop and can only stop on a very simple theorem.
This contradiction can be resolved if the FAS is actually not constant but
can be added to by an external random oracle thus increasing its
complexity. This allows the cascade to continue.
Can the random oracle event leave behind a cascade still running in the old
FAS? No because each event of this sort would create a new running
The only way out seems to be that there is no branching and the FAS must
become more complex as the cascade continues.
An increase in complexity of the FAS has a possible interpretation: The
cascade is reinitialized in the new FAS with the new theorem acting as the
That is a better way of putting it and eliminates the need to distinguish
between the two universes since the running contradiction one is not allowed.