Re: JOINING posts

From: Wei Dai <>
Date: Fri, 31 May 2002 14:20:25 -0700

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. :)
Received on Fri May 31 2002 - 14:25:20 PDT

This archive was generated by hypermail 2.3.0 : Fri Feb 16 2018 - 13:20:07 PST