On 12 Jun 2015, at 20:07, meekerdb wrote:
On 6/12/2015 6:58 AM, Bruno Marchal wrote:
You claim that physics emerges from the UD,
I claim only that IF comp is true, then physics HAVE to emerge from
the UD.
But I don't think you've shown that. Comp1 doesn't imply that all
possible computations exist.
You don't need comp1 for that. That each computations exist is already
a theorem in RA.
That's a separate assumption you slip in that all computations or
all arithmetic exists.
You need only that 2+2=4 independently of you, and this is assumed
already when we assume Church's thesis.
The notion of computation itself assumes either the numbers and some
relations between them, or anything else Turing equivalent.
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 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.
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.