On Mon, Nov 3, 2008 at 5:22 AM, Bruno Marchal <marchal.domain.name.hidden> 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
--~--~---------~--~----~------------~-------~--~----~
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.domain.name.hidden
To unsubscribe from this group, send email to everything-list+unsubscribe.domain.name.hidden
For more options, visit this group at
http://groups.google.com/group/everything-list?hl=en
-~----------~----~----~----~------~----~------~--~---
Received on Mon Nov 03 2008 - 12:11:14 PST