On Sun, May 19, 2013 at 11:33 PM, Bruno Marchal <marc...@ulb.ac.be> wrote:
> 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.
Of course. I'll go get myself subscribed to that list, 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 post to this group, send email to firstname.lastname@example.org.
Visit this group at http://groups.google.com/group/everything-list?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.