On Thu, May 30, 2002 at 05:02:06PM +0200, Bruno Marchal wrote:
>     - Computability and Logic, by George Boolos and Richard Jeffrey (Cambridge
>       University Press (third ed. 1989).

I noticed that a fourth edition just came out in March of this year. This
seems to be THE book for learning metamathematics (and how it relates to
the computability stuff I learned in my theory of computation class) that
I was searching for before seeing Bruno's recommendation. Thanks!

> Unfortunately most mathematicians, including the only               
> local logician, were allergic to Godel's theorem! (not so rare attitude)

Can you elaborate on that please? What specificly were they objecting to?

> I mentionned often the Boolos 1993 as the classical treatise of the (modal)   
> Godelian logics of self-reference (also known as "logics of                  
> provability", mainly
> the modal logics G and G* and their children).

Unfortunately at this point (after reading Boolos's _The Logic of 
Provability_) I still don't get what logics of provability have to 
do with the mind/body problem. Please hurry up with your English paper. :)

Reply via email to