Le 09-août-06, à 18:12, Tom Caylor a écrit :

> Bruno Marchal wrote:
>> Of course I have a problem with the word "universe" and especially  
>> with
>> the expression "being inside a universe". The reason is that I think
>> comp forces us to accept we are supported by an infinity of
>> computations and that the 1-(plural and singular) appearance of the
>> universe emerges from that. cf UDA.
>> Bruno
>> http://iridia.ulb.ac.be/~marchal/
> I haven't been following this thread, but this caught my attention.
> Bruno, how can you have a real "problem" with something based on the
> fact that it seems to contradict the comp assumption?  I thought that
> you make a point to stress that you only assume comp for purposes of
> argument to see where it leads.

You are right. It is just that I feel somehow guilty to always mention  
the comp. hyp.
 From now on, you should always interpret me, when I say "I think ...",  
by we can proved under the comp. assumption that ....

> Are you implying that you personally
> have faith in comp to the point that words that don't agree with the
> comp assumption actually give you a "problem"?  Or is the problem
> caused by a personal belief that is outside of the comp assumption, but
> that is manifested when talking about comp, if you follow me?

About my personal opinion on comp, I am still going through the four  
The good one where I hope that comp is true and believe that comp is  
true; or when I hope comp to be false, and I believe it to be false.
The bad one where it is the reverse.
The problem is that comp almost entails such oscillations. Indeed,  
although I do not insist on that point I must admit there is something  
a little bit diabolical in comp (and which is similar to some godelian  
sentence) which is that comp predicts that the first person attached to  
a machine really cannot believe or know that comp is true. Strictly  
speaking comp is unbelievable. No consistent machine can take comp for  
granted, and that is why eventually saying "yes" to a doctor (for an  
artificial body) have to be based on an act of faith (and that is also  
why I think it is better (more honest) to put "comp" in theology rather  
than in, say, psychology, like I was used to do before our  
conversation-thread on theology.
It is diabolical in the sense that when someone tell me "I don't  
believe in comp", well, strictly speaking, he confirms comp (but I  
*must* remain silent, or else I have to be more explicit on the G/G*  
differentiation and the way to translate the comp hyp itself in the  
language of arithmetic, but for this I have to dwelve a little bit more  
in the technics).


PS Apology for letting you with some unsolved problem concerning the Wi  
and the Fi. I propose we come back on this latter (OK?). Meanwhile I  
suggest you could read the wonderful introduction to recursion theory  
made by N. J. Cutland, which is quite readable by undergraduate in  
I see you can buy it together with the "bible" of recursion theory, the  
book by Hartley Rogers, which, imo, is the book which exploits in the  
best possible manner Church's Thesis.


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

Reply via email to