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