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.



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 
For more options, visit this group at 

Reply via email to