[Yuri Rodrigues]

Olá a todos,

Alguém conhece uma tradução para o inglês (ou mesmo para o francês) do trabalho Bemerkungen zu den Paradoxien von Russell und Burali-Forti de Grelling & Nelson?

Agradeço desde já.

--

Yuri de Lima Rodrigues

Bacharelando em Filosofia (UFC)

Pesquisador Bolsista PIBIC/CNPQ

facebook.com/yurirodrigues329

Fone e Whatsapp: (85) 9.8744.3902

[Javier Legris]

Dear Yuri, I don't, but if there is any translation of this paper, Volker Peckhaus should know about it:

Volker Peckhaus <volker....@upb.de>

atencisamente

Javier

 

Prof. Dr. Javier Legris
IIEP-BAIRES, UBA-CONICET
Facultad de Ciencias Económicas
Av. Córdoba 2122 2º
(C1120 AAQ) Ciudad Autónoma de Buenos Aires
República Argentina
e-mail: jle...@retina.ar
URL: http://iiep-baires.econ.uba.ar/legris

--
Você recebeu essa mensagem porque está inscrito 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 logica-l+u...@dimap.ufrn.br.
Para postar nesse grupo, envie um e-mail para logi...@dimap.ufrn.br.
Acesse esse grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver essa discussão na Web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAE3TnXpBO99sij83Ji6GUghsB6PMskwrz%2B4Y5iXKsPO5LV8K1g%40mail.gmail.com.

[Walter Alexandre Carnielli]

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 <valeria...@gmail.com>: 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 logica-l+u...@dimap.ufrn.br.