On 19 May 2013, at 21:54, Johnathan Corgan wrote:

## Advertising

On Sun, May 19, 2013 at 7:31 AM, Bruno Marchal <marc...@ulb.ac.be>wrote:Feel free to ask more from this post, though. If you understand theFPI, the rest follows from logic and some passive theoreticalcomputer science, I think.Yes, I understand UDA 1-7 and the concept that first-personindeterminacy arises from the one's current state being the possiblefuture state of an infinity of prior computational states (give theassumptions of the argument.) It's less clear to me how this wouldtranslate to an expectation value or measure on the space ofpossible future states from this one.

`How could it be different? It follows from step 6 and 7. It does not`

`mean that the measure exists, but that if comp is true, the measure`

`has to exist, and will define what is the physical reality. Then the`

`math (hypostases) explains why the measure seems already to exist,`

`defines a quantum logic,`

More to the point of my original comment, though, you frequentlymake statements about how it follows from this an explanation ofquantum, qualia, matter, etc., using references to modal logic,Plotinus' theory of matter, the eight hypostases, and other veryhigh-level concepts.I guess I'm just having trouble connecting the dots in between.

`It took me 30 years of math to get that. But I am giving the dots`

`right now on the FOAR list (as I have done already on this list). The`

`difficulty is in the work already done by Gödel, Löb, Solovay,`

`relating provability to the G logic, the relation between provability`

`and computability, etc. I suggest you look at the FOAR list, for not`

`psuhing me to duplicate the informations, thanks.`

Bruno http://iridia.ulb.ac.be/~marchal/ -- You received this message because you are subscribed to the Google Groups "Everything List" group. To unsubscribe from this group and stop receiving emails from it, send an email to everything-list+unsubscr...@googlegroups.com. To post to this group, send email to everything-list@googlegroups.com. Visit this group at http://groups.google.com/group/everything-list?hl=en. For more options, visit https://groups.google.com/groups/opt_out.