On Mon, Nov 3, 2008 at 11:10 AM, Jason Resch <[EMAIL PROTECTED]> wrote:

> 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.
>>
>>
>>
> Bruno,
>
> 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?
>
> Thanks,
>
> Jason
>

Minor correction:  I meant "Universal Dovetailer" not the UDA.
Jason

--~--~---------~--~----~------------~-------~--~----~
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 
http://groups.google.com/group/everything-list?hl=en
-~----------~----~----~----~------~----~------~--~---

Reply via email to