On Fri, Sep 14, 2012 at 8:32 AM, Stephen P. King <[email protected]>wrote:
> I contend that universality is the independence of computations to any > particular machine but there must be at least one physical system that can > implement a given computation for that computation to be knowable. This is > just a accessibility question, in the Kripke sense of accessible > worlds<http://en.wikipedia.org/wiki/Accessibility_relation> > . > > Stephen, Could you provide a definition of what you mean by 'physical system'? Do you think it is possible, even in theory, for entities to distinguish whether they are in a physical system or a mathematical one? If so, what difference would they test to make that distinction? 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 [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.
