A informalidade da lógica formal

Raymond Smullyan é bem conhecido por ser um lógico e filósofo eminente. A sua obra mais popularizada, contudo, pertence à matemática recreativa. Nesta área são de leitura obrigatória "The Lady and the Tiger" (Dover, 2009), focado em puzzles lógicos, e "The Chess Mysteries of the Arabian Nights" (Oxford, 1992), um tratado de análise retrógrada em problemas de xadrez, para citar somente duas das suas muitas obras.


PDF do Artigo | PDF integral
Gazeta nº 164, pág. nº 8 | Categoria: Recreio | Palavras-Chave: Raymond Smullyan, matemática recreativa, quebra-cabeças, xadrez,
Autor(es): Jorge Nuno Silva |