On 14 May 2014, at 01:15, meekerdb wrote:
On 5/13/2014 4:06 PM, LizR wrote:
On 14 May 2014 06:29, meekerdb <[email protected]> wrote:
On 5/12/2014 9:40 AM, Bruno Marchal wrote:
Turing *emulation* is only meaningful in the context of emulating
one part relative to another part that is not emulated, i.e. is
"real".
If you say so. We can still listen to the machine, and compare
with nature.
When we compare with nature we find that some things exist and some
don't.
Like other worlds don't exist, or atoms don't exist ... the
question about what exists hasn't been answered yet. Or indeed the
question about what it means for something to exist.
So is it your view that no matter what comp predicts it's not
falsified because it may be true somewhere else?
That would be ridiculous. comp predicts that the TOE is any sigma_
complete theory, and that the physical laws are given by the measure
on the consistent extensions, for the variant of self-reference logics.
Physics is an invariant for all universal machine, and, like with
Noether, you can derive the laws from that invariance, and the fixed
point are translatable in arithmetic, and so we can study them, and
compare to quantum logic.
What I say is that if comp is true, the physical laws have an origin,
an explanation, indeed in arithmetic. That explanation is a sequence
of open problems, some of which have been solved.
Bruno
Brent
--
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.
