On 02 Jul 2011, at 22:05, Stephen Paul King wrote:

## Advertising

Hi Bruno, From: Bruno Marchal Sent: Saturday, July 02, 2011 3:24 PM To: everything-list@googlegroups.com Subject: Re: Is consciousness causally effective ? Hi Stephen, On 02 Jul 2011, at 16:53, Stephen Paul King wrote:[SPK]Could you elaborate a bit more on the part where you say"...self-speeding up abilities to the machine with respect to themost probable continuation/universal-machine"? What defines the"most probable"?The universal dovetailing, or equivalently the true sigma_ sentencesand their proofs, and relative proof. This follows from the UDargument.The logic of "probability one" can already be characterized by thelogic of the "arithmetical quantization" BDp with p a Sigma_1propositions. It gives an arithmetical non boolean sort of quantumlogic.I think that if you search on the name of "Goldblatt" in thearchive you might find longer explanation that I have already givento you on this, if I remember well.I am just translating a problem in philosophy/theology into aproblem in math by using the comp hypothesis to justify the use ofcomputer science and mathematical logic.I have taken a look at the Steve Vickers slides you pointed too. Itis rather complex and does not seem related to comp in an easy way.It it can be related at all, it has to be related through the S4Grz1("universal soul, the "pure" first person") and X1* ("universalfeeler") arithmetical points of view.Bruno http://iridia.ulb.ac.be/~marchal/ [SPK]OK. I was just wanting to be clear in my understanding. I amstudying Vickers’ book and several other that you recommended. Thankyou for your quick reply.One other question: could you say that X1* is like a universalattributor, in the sense of assignation or defining all maps of 1p“feelings” to 3p ....?

`My option is to introduce as few new vocabulary as possible. In the`

`interdisciplinary field, we have to use the term on which the majority`

`in each field are accustom to, when possible (some terms, like 'model'`

`are used by different field with different meaning, so it is not`

`simple).`

`X1* is just a precise modal logic which provably axiomatizes what is`

`true about the machine observable/feelable (Bp & Dt & p) from the`

`states accessed by the universal dovetailing. Topologies and algebra`

`have to be related to reasonable semantics for the logic. It is the`

`logic suggested by the Löbian machine for the qualia (including the`

`quanta).`

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.