On 20 December 2013 11:40, meekerdb <meeke...@verizon.net> wrote: > On 12/19/2013 1:30 PM, Jesse Mazer wrote: > > To me it seems like "thinking something is true" is much more of a fuzzy > category that "asserting something is true" > > > Maybe. But note that Bruno's MGA is couched in terms of a dream, just to > avoid any input/output. That seems like a suspicious move to me; one that > may lead intuition astray. >
I seem to recall that Bruno claimed this is a "legal" move because any possible input/output can be encoded as data within the computation (or something along those lines. No doubt Bruno will be able to explain much better than me). -- 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 everything-list+unsubscr...@googlegroups.com. To post to this group, send email to everything-list@googlegroups.com. Visit this group at http://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/groups/opt_out.
