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 -~----------~----~----~----~------~----~------~--~---
