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

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 the FPI, the rest follows from logic and some passive theoretical computer science, I think.

Yes, I understand UDA 1-7 and the concept that first-person indeterminacy arises from the one's current state being the possible future state of an infinity of prior computational states (give the assumptions of the argument.) It's less clear to me how this would translate to an expectation value or measure on the space of possible 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 frequently make statements about how it follows from this an explanation of quantum, qualia, matter, etc., using references to modal logic, Plotinus' theory of matter, the eight hypostases, and other very high-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.



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.

Reply via email to