> 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.
> Dear Bruno,
> 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.