Car@s: A propósito do Alan Robinson, conversei bastante com ele em Viena ha uns 8 anos atras, interessado que sou sobre o PROLOG, sabendo que ele criara aquela coisa simples e certeira que eh a Regra de Resolução em seu “A Machine-Oriented Logic Based on the Resolution Principle”.
Nao sou nenhum programador, mas sempre me interessou o grau de " inteligência efetiva" que existe no PROLOG, e que não me parece muito distante de certos fenômenos como.a Regra de Corte na Teoria da Prova ( ou das Demonstrações, como querem alguns). Robinson me disse que ele era visceralmente contra o intuicionismo, e que basicamente a Regra de Resolução mostra como o ponto de vista intuicionismo na computação é insidioso. Nao briguem comigo-- ele era um filósofo de formação e um programador por experiência. O artigo abaixo, além de uma bela entrevista com Robinson, joga um pouco de confete em todos nós que temos uma "dupla cidadania" acadêmica, isto é temos uma formação em alguma coisa e atuamos um pouco mais em outra, como engenheiros atuando em computação, matemáticos atuando em filosofia, filósofos atuando em matemática, físicos atuando em filosofia, etc. https://vanemden.wordpress.com/2010/06/08/interview-with-alan-robinson-inventor-of-resolution-logic/ Abraços tristes por essa perda, Walter > > > > Grupos do Google > sad news RIP Alan J. Robinson > Valeria de Paiva <[email protected]>: Aug 12 03:58PM -0700 > > reproduzindo a mensagem que veio na lista do SRI do filho do Alan Robinson > https://en.wikipedia.org/wiki/John_Alan_Robinson. > > > * > Alan Bundy recently sent me the following news of Alan Robinson's death. I > am not sure if AR had any direct connection to SAIL, but his work certainly > impacted a great deal of the early SAIL work on machine inference. > > > Pat Hayes > > > > > > Você recebeu esse resumo porque está inscrito para receber atualizações deste > grupo. Você pode alterar suas configurações na página de associação do grupo. > Para cancelar sua inscrição neste grupo e deixar de receber e-mails do mesmo, > envie um e-mail para [email protected]. -- 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/1C673A8B-1E11-479E-9A6E-FAC2D575EF36%40gmail.com.
