The obituary of Raymond at NYT did not really do full justice to his figure, but the following blog posts make for more interesting reads:
This one, by Dick Lipton & Ken Regan, focuses on "Set Theory and the Continuum Problem" and on "Theory of Formal Systems": https://rjlipton.wordpress.com/2017/02/14/raymond-smullyan-1919-2017/ This one by Greg Restall praises Smullyan's proof-theoretical insight: http://consequently.org/news/2017/with-gratitude-to-smullyan/ This one by Peter Smith is about the logical work: http://www.logicmatters.net/2017/02/13/raymond-smullyan-1919-2017/ This one, by Lance Fortnow and Bill Gasarch, deals with puzzles and serious math http://blog.computationalcomplexity.org/2017/02/raymond-smullyan-was-born-on-may-25.html JM -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para postar neste grupo, envie um e-mail para [email protected]. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Lh0B%2B25%3Dkb%3DjiYySGVuid0be8hbinB05irYiqkjMLy94w%40mail.gmail.com.
