Abram,
>
> Thanks for the reference. That book sounds very interesting...
> unfortunately it is also very expensive.
Then don't buy it. In my opinion, well to get the AUDA, the following
one are without doubt more genuine.
Actually I complained often that the Boolos 1979 book was out of stock
and print, but I discover today that it will be published again:
http://www.amazon.com/gp/product/0521092973/ref=pe_5050_10997920_pe_snp_973
That is:
BOOLOS G., 1979, The Unprovability of Consistency, an Essay in Modal
Logic, Cambridge University Press.
It is a lighter and shorter introduction to the Godel Lob logic of
self-reference used in AUDA. Lighter and fresher than its 1993
extension which tackles the first order (incomplete) self-reference
logics: (which is excellent too).
Boolos, G. (1993). The Logic of Provability. Cambridge University
Press, Cambridge.
The following one by Smorynski is quite nice too, perhaps even better
on the relation with computability and the role of the sigma_1
sentences. It contains also a bit of the Magari algebraic treatment of
self-reference, but the font is so small that even with spectacles I
confuse the indices with the (old) tobacco stains!
Smoryński, P. (1985). Self-Reference and Modal Logic. Springer Verlag,
New York.
If you buy only one, buy the 1993 Boolos one.
I hope they are less expensive, high price for math books is a pity
and shame.
There is also the "recreative" one by Raymond Smullyan, which I find
very interesting. It is a must! It should not be expensive. Buy the
"penguin" edition you will find on amazon (the Knopf edition is quite
cute but less cheap).
Smullyan, R. (1987). Forever Undecided. Knopf, New York.
Bruno
On 26 Dec 2008, at 21:38, Abram Demski wrote:
>
> Bruno,
>
> Thanks for the reference. That book sounds very interesting...
> unfortunately it is also very expensive.
>
> --Abram
>
> On Thu, Dec 25, 2008 at 1:23 PM, Bruno Marchal <marchal.domain.name.hidden>
> wrote:
>>
>>
>>
>> POUR-EL M. B., RICHARD J. I., 1989, Computability in Analysis and
>> Physics,
>> Springer-Verlag, Berlin.
>>
>> Bruno
>> http://iridia.ulb.ac.be/~marchal/
>>
>>
>>
>>>
>>
>
>
>
> --
> Abram Demski
> Public address: abram-demski.domain.name.hidden
> Public archive: http://groups.google.com/group/abram-demski
> Private address: abramdemski.domain.name.hidden
>
> >
http://iridia.ulb.ac.be/~marchal/
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups "Everything List" group.
To post to this group, send email to everything-list.domain.name.hidden
To unsubscribe from this group, send email to everything-list+unsubscribe.domain.name.hidden
For more options, visit this group at
http://groups.google.com/group/everything-list?hl=en
-~----------~----~----~----~------~----~------~--~---
Received on Fri Dec 26 2008 - 16:50:32 PST