Schmidhuber explicitly includes universe representations describable by non-halting programs whose output bits converge after finite time .
The convergence time itself may not be predictable by a halting program .
Schmidhuber explicitly includes universe representations describable by non-halting programs whose output bits converge after finite time , although the convergence time itself may not be predictable by a halting program .