Logic PhDs, volume 1: Grundlagen der kombinatorischen Logik do Haskell Curry

[jean-yves beziau]

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