On Wed, Aug 20, 2014 at 08:30:56AM -0700, meekerdb wrote: > On 8/20/2014 5:38 AM, Bruno Marchal wrote: > > 2) invariant for all choice of TOE rich enough to define a universal > > machine > > I'm not sure what is meant by "choice of TOE". Who is doing the > choosing? Under comp we've already assumed a universal dovetailer. >
It is a choice of ontology capable of universal computation. eg choosing between arithmetic or combinators. The point is that nobody needs to make that choice, as it has no consequences for phenomenological physics. Cheers -- ---------------------------------------------------------------------------- Prof Russell Standish Phone 0425 253119 (mobile) Principal, High Performance Coders Visiting Professor of Mathematics [email protected] University of New South Wales http://www.hpcoders.com.au Latest project: The Amoeba's Secret (http://www.hpcoders.com.au/AmoebasSecret.html) ---------------------------------------------------------------------------- -- 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/d/optout.
