On 21 Aug 2014, at 02:50, Russell Standish wrote:
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.
Exactly.
Bruno
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.
http://iridia.ulb.ac.be/~marchal/
--
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.
