On 19 January 2014 16:55, Stephen Paul King <[email protected]>wrote:
> Dear LizR, > On Sat, Jan 18, 2014 at 10:44 PM, LizR <[email protected]> wrote: > >> On 19 January 2014 16:28, Stephen Paul King >> <[email protected]>wrote: >> >>> I am OK with postulating, but it is something like an observer that is >>> performing the postulating. Similarly, it is assumed that a person that can >>> understand the Doctor's hypothesis that can bet that the Doc is correct and >>> say, "Yes!" >>> >> Well, that is bringing in comp, of course, as well as AR, and comp reckons that observers are an infinite flux of computational processes. One can imagine AR being true without it necessarily bringing in comp (to start with at least). > Can a theorem speculate on its own substitution level? If so, How? >>> >> I assume it could. Maybe. Dunno! I may have to let my brain cool down with some mindless entertainment (like the Times crossword) for a bit and think on it some more. -- You received this message because you are subscribed to the Google Groups "Everything List" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/groups/opt_out.

