« Return to Thread: Nothing

Re: Nothing

by Bruno Marchal :: Rate this Message:

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@....
To unsubscribe from this group, send email to everything-list+unsubscribe@....
For more options, visit this group at http://groups.google.com/group/everything-list?hl=en.

« Return to Thread: Nothing