Re: Solução dos problemas

["Nicolau C. Saldanha" <nicolau@xxxxxxxxxxxxxxxxxxxxx>]

On Fri, Aug 31, 2001 at 10:53:37PM -0300, Augusto Morgado wrote:
> Quem tem livros de enigmas publicados em portugues eh Raymond Smullian
> (ou Smullyan, sei la). O mais famoso eh um que tem Alice no titulo. Ha
> um outro, nao so de enigmas, que se chama a 1002-esima noite de
> xerazade.

O nome correto é Raymond Smullyan. Ele é um lógico profissional
(além de mágico) e tem vários livros 'sérios'. Alguns:

First order logic
Gödel's incompleteness theorem
Diagonalization and self-reference
Recursion theory for metamathematics
Set theory and the continuum problem

Alguns livros um pouco mais recreativos:

The chess mysteries of Sherlock Holmes
The lady or the tiger?
The riddle of Scheherazade
The tao is silent
Forever undecided: a puzzle guide to Gödel
5000 BC and other philosophical fantasies
Alice in puzzle-land
Satan, Cantor and infinity
To mock a mockingbird
What is the name of this book?

A maioria destes livros eu só conheço de ouvir falar
mas os poucos que eu já vi são excelentes.

[]s, N.