On Mon, Nov 3, 2008 at 5:22 AM, Bruno Marchal <[EMAIL PROTECTED]> wrote:

> To accept this I have to assume "I = the world", and that world is not
> turing-emulable. But then comp is false.

I have seen you say this many times but I still don't understand why it is
so, perhaps I don't know how you are defining "I" or "world", but I was
hoping you could point me to a paper of yours or a past post which explain
this.  In particular I do not follow how only one of "I" or "the world" can
be computable, why not both?  Does the UDA not enumerate all possible worlds
and all possible Is?



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