On 01 Oct 2015, at 17:54, John Clark wrote:
> Many worlds is nothing more than a hypothetical construct.
True.
Nice we all agree!
Note that one world is as much an hypothetical construct.
Unlike the many-computations. Each terminating computations can be
proved to exist already by the very weak theory RA (Robinson
arithmetic), and RA emulates all the PA-like machine believing in the
induction axioms, and all agree that the many-computations is realized
in arithmetic.
So, one assuming computationalism, the many-dreams is realized in
arithmetic, even in the tiny sigma_1 part. Its meaning needs of course
larger portion of mathematics.
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 [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.
