On 06 May 2017, at 21:59, David Nyman wrote:
On 6 May 2017 8:08 p.m., "Brent Meeker" <meeke...@verizon.net> wrote:
On 5/6/2017 1:49 AM, Bruno Marchal wrote:
Exactly why I used arithmetic as the example. Arithmetic, according
to your theory of consciousness, is independent of perception and
physics. Conscious thoughts, beliefs are entailed by arithmetic and
so should be independent of tequila.
That does not follow. Even Robinso Arithmetic can prove that a
machine drinking some amount of tequila will prove anything.
That would be impressive. Is this proof published?
It is trivial. RA computes all states reaction in all computational
histories. RA is a universal dovetailer, to be short. In the
simulation of tequila + brain, people get drunk.
That's what I was afraid of. Your theory successfully predicts it
because it predicts "everything", including people drink tequila and
don't get drunk.
Yes, but the key is the measure, isn't it. Everett also predicts
that everything consistent with QM happens. Somehow this leads to a
probabilistic account of what to expect. We know the math but we
don't know the reason. You're no doubt bored with my banging on
about Hoyle, but I must say that his is so far the only metaphor
that has ever conveyed to me how something could be both certain and
uncertain depending on one's point of view. So I think it's far too
tricksy to say that comp predicts everything (or Everett, or eternal
inflation for that matter). The key is the measure and how that
measure discriminates between the typical, the unusual, and the
downright weird. Open problem, sure, but hardly an empty or
pointless one.
Exactly.
Bruno
David
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 https://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.
--
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 https://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 https://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.