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. :)