RE: Cardinality of the MW

From: Marchal <marchal.domain.name.hidden>
Date: Tue Jul 20 08:52:05 1999

James wrote:
>I am toying with the idea that all laws, and all constants are determined
>*purely* by the weak anthropic principle. And the rest is chance.

Nice way to put the things. In the comp framework this becomes:

All laws, and all constants are determined *purely* by the weak anthropic
principle applied to UD*. And the rest is computationalist indeterminism.

where:
UD* = the splashed universal turing machine = the work of the great
programmer = the work of the counting algorithm.


Why UD* and not the whole mathematics like Tegmark?

Because there is no meaning in the expression "whole mathematics". All
mathematicians who have try to defined it eventually realise that. This
is linked to the fact that there is no absolute notion of proof.
But there is an absolute notion of computability (Church Thesis), and the
Universal Dovetailing algorithm (UD) has a perfectly well defined
tree-like extension (UD*).

Bruno
Received on Tue Jul 20 1999 - 08:52:05 PDT