Era meu grande guru. Foi uma honra traduzir seu ¨First Order Logic¨. Embora não tenha tido essa consciência senão anos depois, quando fazia a tradução, foi com certeza a partir de suas idéias sobre a hauptsatz que eu percebi (e em seguida ensinei a todo mundo aqui no Brasil) que o Lema de Lindembaum dependia apenas de propriedades da definição de dedução. Essa percepção que me veio nos idos de 75, se não me engano, quando propus a semântica para Cw e logo vi que ela continha semânticas para as Lógicas Implicativa e Positiva Intuicionistas, foi a base para a generalização que seria a Teoria das Valorações. Quem tiver lido com cuidado meu artigo com o Newton ¨ Paraconsistency, paracompleteness and valuations¨ - que pouco tem a ver com os 2 primeiros e tem tudo a ver com valuations - verá que há dois conceitos propostos: evaluations e valuations - o primeiro sendo aquele com o qual Newton e Aida trabalhavam, antes de conhecerem a versão enxuta de Lindenbaum e o segundo, o conceito novo que necessariamente teria de coincidir com a função característica dos conjuntos maximais (eu chamava F-saturados). Talvez ainda haja alguns vivos que admitam lembrar-se desses fatos. Achei que era o caso de fazer menção, em particular pela decisiva influência que teve o mágico Smullyan nesse episódio. Era a homenagem que não queria deixar passar. Andrea
Em 7 de fevereiro de 2017 18:10, Joao Marcos <[email protected]> escreveu: > > JM qual 'e o livro que 'e autobiography do Smullyan? > > O primeiro livro que ele escreveu com este objetivo, publicado em > 2002, é "Some Interesting Memories: A paradoxical life". Mas não é > BEM uma autobiografia... > > Em 2015 apareceu um outro livro (que eu não li) ---na aparência, mais > propriamente autobiográfico, mas escrito da maneira smullyanesca bem > conhecida (through ramblings, I mean)--- chamado "Reflections: The > magic, music, and mathematics of Raymond Smullyan". > > PLEASE DO NOT READ THIS LINE. > > Abraços, > Joao Marcos > > -- > 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/di > map.ufrn.br/group/logica-l/. > Para ver esta discussão na web, acesse https://groups.google.com/a/di > map.ufrn.br/d/msgid/logica-l/CAO6j_Lg84-soe_x%3DGJsTQ7xCDby > -8JLZ7aWi07b5Sp3qJuHPqQ%40mail.gmail.com. > -- 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/CACHAqBnj%2BxfSvBEktKEEAqKtQ9EQN9BZXce7cD%3D9jY2-FQZ%2BdA%40mail.gmail.com.
