Foi lançado hoje o primeiro volume da coleção Logic PhDs da College Publication http://www.collegepublications.co.uk/lphd/ Se trata do doutorado do Haskell Curry Grundlagen der kombinatorischen Logik http://www.collegepublications.co.uk/lphd/?00001
O Curry foi o ultimo aluno de doutorado do David Hilbert Neste volume tem - a versão orginal em alemão - a tradução em ingles - uma apresentação / comentarios sobre o trabalho do Curry Este volume foi preparado por Fairouz Kamareddine e Jonathan Seldin o Jonathan foi aluno do Curry (ele estava presente no UNILOG'2013 no Rio de Janeiro). A Fairouz é palestrante convidada do proximo EBL e vamos fazer uma ceremonia de lançamento do livro em Pirenopolis. Estou muito feliz que a coleção Logic PhDs abra com este volume. O Haskell Curry é um dos maiores logicos do seculo vinte. Ele tive muitos ideias originais mas ainda é pouco conhecido. Na Antologia de Logica Universal http://www.springer.com/gp/book/9783034601443 publicamos tradução de partes do livro dele escrito originalemente em frances "Leçons de logique algébrique" (O Curry que inventou a expressao "algebraic logic") apresentado pelo Jonathan. Estudei este livro quando estava começando a fazer pesquisas em lógica e aprendi com ele muitas coisas, assim que com outro livro que o Curry escreveu depois em ingles: Foundations of Mathematical Logic. Bom lembrar também que é o Curry que ajudou o Kripke a fazer conhecer o trabalho dele. Kripke enquanto adolescente escreveu uma carta para ele e o Curry respondeu imediadamente. Os proximos volumes a ser lançados daqui pouco na coleçãp Logic PhDS são Christine Ladd-Franklin, 1882, The Johns Hopkins University On the Algebra of Logic PhD advisor: Charles Peirce Volume prepared by Ahti-Veikko Pietarinen (University of Helsinki, Finland) Krister Segerberg, 1971, Stanford University An Essay in Classical Modal Logic PhD advisor: Dana Scott Volume prepared by Patrick Blackburn (University of Roskilde, Denmark) Saudações, JYB -- 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/CAF2zFLAwAuA3rhhNU2NxbxEwsJtyYQQp3T%2BwUmUYQD22g2TCuA%40mail.gmail.com.
