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
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.
Could you point to where the constructability of the reduction is
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.
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To post to this group, send email to firstname.lastname@example.org.
To unsubscribe from this group, send email to
For more options, visit this group at