On 12 Oct 2013, at 01:16, meekerdb wrote:
On 10/11/2013 4:05 PM, Pierz wrote:
It does seem that the measure problem is an open one for comp, as
far as I can tell from Bruno's responses, but he seems
confident it's not insurmountable.
Bruno's so confident that he argues that there must be a measure
(because he's assumed comp is true and his argument from comp is
valid). :-)
Haha! Yes, that's a good point. IF COMP is true that measure must
exist, even if it took a billions years for humans to extract it. But
the apparently universal machine get quickly a quantized structure
(thanks to the p -> []<>p appearing at the right places). So hope can
exist that such problem is not that insurmountable.
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/groups/opt_out.
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/groups/opt_out.