Hello Günther,

>> I have already presented an argument (an easy consequence of the 
>> Universal Dovetailer Argument, which is less easy probably) showing that:
>> - CRH implies COMP
>> - COMP implies the negation of CRH
>> - Thus, with or without COMP (and with or without the MUH) the CRH does 
>> not hold.
>COMP implies the negation of CRH
>Is this also in your Sane 2004 paper? (then I missed that point) - if 
>not, where did you argue this?

It is not in the Sane 2004 paper. I have argue that COMP imples NOT-CRH online, 
in reply to Schmidhuber or someone defending the idea that the universe could 
be the product of a computer program.

Universality, Sigma_1 completeness, m-completness, creativity (in Post sense), 
all those equivalent notion makes sense only through complementary notion which 
are strictly sepaking more complex (non RE, productive, ...). The 
self-introspecting universal machine can hardly miss the inference of such 
"realities", and once she distinguishes the 1, 1-plural, 3-person points of 
view, she has to bet on the role of the non computable realities (even too much 
getting not just randomness, like QM, but an hard to compute set of anomalous 
stories (white rabbits, coherent but inconsistent dreams). 

It's a bit like "understanding" (putting in a RE set) the (code of) the total 
computable functions, forces us to accept the existence of only partially 
computable functions, which sometimes (most of the time, see the thesis by 
Terwijn) have a non recursive domain.
OK, the ontic part of a comp TOE can be no *more* than Sigma_1 complete, but a 
non self-computable part of Arithmetical truth and analytical truth, is needed 
to get the *internal* measure, we can't even give a name to our first person 
plenitude and things like that.

The quantified "angel guardian" of a simple Lobian machine like PA, that is 
qG*, is itself Pi_1 in the Arithmetical Truth (see Boolos 1993 book). The "God" 
of PA (already unameable by PA) is already NOT omniscient about PA's 
intelligible reality, if you follow the arithmetical interpretation of Plotinus 
I did propose.
Perhaps this is why the Intelligible has been discovered (Plato) before the 
"ONE" (Plotin). It is far bigger. With comp you can restrict the ontic to the 
Universal Machine (the baby ONE), but its intelligible realm is well beyond its 
All this is related to the fact, already understood by Judson Webb, that comp 
is truly a vaccine against reductionist theories of the mind.

Have a good day, 



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

Reply via email to