On 21 Apr 2012, at 18:10, Stephen P. King wrote:
On 4/21/2012 5:41 AM, Bruno Marchal wrote:
Brent wrote: It comes down to saying qualia are computations seen
from the inside. But you could as well say they are brain
processes seen from the inside.
They can be both, but UDA shows that this leads to a reduction of
physics to arithmetic. The reduction is constructive, so comp
become testable and acquire a scientific status (which is my main
point).
My point is not that comp is true. Just that it is scientifically
testable. then I show mathematical evidence that indeed the quantum
is recovered from comp. And I give a gift: the qualia are too.
Dear Bruno,
Could you point to where the constructability of the reduction is
shown?
It is AUDA. Or the "interview of the machine". The logic of observable
has already been retrieved, and theorem provers provided. At the
propositional level the logic is shown decidable.
Bruno
http://iridia.ulb.ac.be/~marchal/
--
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To post to this group, send email to everything-list@googlegroups.com.
To unsubscribe from this group, send email to
everything-list+unsubscr...@googlegroups.com.
For more options, visit this group at
http://groups.google.com/group/everything-list?hl=en.