Incompleteness
Jerzy Karczmarczuk
karczma at info.unicaen.fr
Wed Jan 23 14:32:35 UTC 2002
Maarten Maartensz gave a comprehensive review of "Gödel for the masses",
and concluded:
> In any case: If you liked Hofstadter, take a peep at one of Smullyan's
> logic puzzle books. Amazon probably lists quite a few of these. They are a
> joy to read and only require a clear mind and no mathematics or logic at all.
Hm. Perhaps it would be useful to precise "no knowledge of formal logic
techniques or theorems". But the "clear mind" needed to appreciate Smullyan's
book includes a very strong capability of logic reasoning, the "natural logic"
without which you won't be able not only to find answers to his puzzles, but
you won't understand even the questions...
[anyway, the relation of all this to Squeak is distant...]
Jerzy Karczmarczuk
Caen, France
More information about the Squeak-dev
mailing list
|