On 11 Feb 2014, at 05:21, Russell Standish wrote:
On Tue, Feb 11, 2014 at 04:57:50PM +1300, LizR wrote:
You wouldn't need to say that if you could show what's wrong with
it! :-)
(Sorry!)
I think the chances are a TOE will have to go a looong way before
it's
likely to make predictions rather than retrodictions. Didn't string
theory
retrodict the graviton or something, and everyone said that was a
positive
result? Well, Bruno's got qualia, apparently...
I don't see how he does. He does have the existence of incommunicable
facts (the G*\G thing), but that's not the same as qualia ISTM.
You are right, the qualia are in X1* \ X1, like we get quanta in
S4Grz1, Z1*, X1*.
Of course the splittings x-x* are all consequences of the splitting
between G and G*, so that we can say that incompleteness is the reason
of qualia, but only indirectly, through some intensional nuances.
Best,
Bruno
Cheers
--
----------------------------------------------------------------------------
Prof Russell Standish Phone 0425 253119 (mobile)
Principal, High Performance Coders
Visiting Professor of Mathematics [email protected]
University of New South Wales http://www.hpcoders.com.au
----------------------------------------------------------------------------
--
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/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 [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/groups/opt_out.