Hi Günther,
Le 22-févr.-09, à 23:16, Günther Greindl a écrit :
> will incorporate your changes as soon as time permits :-)
Take all your time. I am myself rather busy. But thanks for telling me.
Actually I take this AUDA page as an opportunity for thinking about the
best books on Gödel's incompleteness theorems. I could send a list of
books with short comments, perhaps in April. All good books on
incompleteness and "provability logic" can be helpful on the AUDA,
given that the AUDA is entirely build on incompleteness.
Right now I think about the book "inexhaustibility" by Torkel Franzen,
which is very good, at least for the mathematically inclined reader.
We have already talk about Franzen's little book on the abuse of
Gödel's theorems. Quite useful too, especially for non-logicians.
Bruno
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 Mon Feb 23 2009 - 05:51:31 PST