On 30 Jun 2014, at 01:20, meekerdb wrote:
On 6/29/2014 1:35 AM, Bruno Marchal wrote:
Note that it is an arithmetical fact that arithmetic emulates all
simulations. Saying that some of those are more real than other is
a metaphysical assumption, and MGA shows that it is a gap-of-the-
god type of assumption.
But it is not a physical fact that arithmetic exists.
OK.
And to say that arithmetic emulates all simulations seems to me to
'prove to much'. It's just saying that whatever exists in your
physical theory is already in my arithmetical theory.
Yes. But at first sight with the measure all wrong. I submit (and
solve partially) that measure problem.
That your physical reality is in the arithmetical reality is trivial.
But the UDA shows that the physical reality has to be given by the
measure on all computations. It means, roughly, that the SWE ,must be
derived from the measure on the sigma_1 sentences, like the collapse
phenomenology can be derived from the SWE.
Which is a god-of-the-substrate type argument.
It would be, if we were not just deriving this reversal from a simple
general, but fertile, assumption: that we are (universal) machine
emulable.
I give a theorem, which leads to a problem. Not a solution. (although
a partial one, which already gives a different (than usual)
theological perspective.
Bruno
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 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/d/optout.
