Russell Standish wrote:
> This is the way I put the argument in my upcoming book. You can also
> read the Universal Dovetailer Argument in Bruno Marchal's SANE04
> paper.
> \item That a description logically capable of observing itself is
>   enough to bootstrap itself into existence. Let me speak to this by
>   means of an example: The C programming language is a popular
>   language for computer applications.  To convert a program written in
>   C into machine instructions that can execute on the computer, one
>   uses another program called a compiler. Many C compilers are
>   available, but a popular compiler is the GNU C compiler, or gcc. Gcc
>   is itself a C language program, you can download the program source
>   code from, and compile it yourself, if you
>   already have a working C compiler. Once you have compiled gcc, you
>   can then use gcc to compile itself. Thus gcc has bootstrapped itself
>   onto your computer, and all references to any preexisting compiler
>   forgotten.

No, gcc chasn't bootstrapped **itself**  -- it has been bootstrapped by
compiler ("if you already have a working C compiler"). You can use gcc
to compile itself only if it has already been compiled. Gcc cannot
itself on a computer without a compiler.  what you have said serves a
illustration of self-bootsrapping, but it is not an actual expample of
In fact there are no strict examples of self-bootstrapping -- of
something starting
up ex nihilo.

if it is possible for systems to bootstap themselves (or for
to be equivalent to realities) we should be able to observe it, and we
That is equally true even if we assume the observed world is already
a simulation -- "simulations" (ie second-order
simulations-within-the-Great-Simulation) don't
become "real" (ie first-order simulations)

You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To post to this group, send email to
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at

Reply via email to