A seguir uma mensagem que eu cicrculei recentemente em algumas listas de
e-mails.
Não vou traduzir porque acho que tudu mundo aqui entenda a lingua de Mr
Bean.
Sou acrescento que quando era estudante estudei detalhamente alguns livros
do Curry, gostei bastante e me influenciou muito.
Minha impressão geral foi que ele era uma pessoa que estava indo até ao
fundo das coisas.
O livro dele "Foundations of Mathematical Logic" é bem interessante,
não é um livro sobre os fundamentos da matemática ! mas sobre os
fundamentos da lógica ...
O principal aluno do Curry foi Jonathan Seldin que eu convidei no
UNILOG'2013 no Rio de Janeiro.
Johann Makowsky me mandou um e-mail dizendo que o Hilbert foi o orientador
oficial do Curry, mas que de fato ele foi orientado por Bernays,
não duvido disso mas todavia é bom anotar que o Curry desenvolveu até o
extremo a posição formalisto do Hilbert em particular no livro dele
"Outlines of a Formalist Philosophy of Mathematics" (1951)
JYB
--
The entry by Jonathan Seldin
"Haskell Brooks Curry (1900-1982)"
has been posted on the Internet Encyclopedia of Philosophy (IEP)
https://www.iep.utm.edu/curry/
Curry was one of the most important logicians of the 20th century.
He did his PhD in Göttingen with Hilbert.
This PhD was written in German and has been recently published in a
bilingual edition:
"Foundations of Combinatory Logics (Grundlagen der kombinatorischen
Logik)", Haskell Curry
translated and presented by Fairouz Kamareddine and Jonathan Seldin
in the book series Logic PhDs
http://www.collegepublications.co.uk/lphd/?1
Curry is the originator of the expression "algebraic logic" that he used in
his book written in French
"Leçons de logique algébrique" (1952)
The introduction and the two first chapters of this book have been
translated in English by Jonathan Seldin and published with a presentation
entitled "Logical Algebras as formal systems: H.B.Curry's approach to
algebraic logic"
in the book "Universal Logic: An Anthology"
https://www.springer.com/gp/book/9783034601443
This book contains an interesting analysis of Gentzen's systems, following
"A Theory of Formal Deducibility" (1950)
and this was expanded in
"Foundations of Mathematical Logic" (1963)
As Seldin wrote: "He (Curry) gives the first published proof of the normal
form theorem for ordinary basic functionality. (A proof by Turing from 1941
was not published until 1980)"
The name of Haskell Curry is attached to
- the Curry-Howard isomorphism, a correspondence between proofs and programs
http://wadler.blogspot.com/2014/08/howard-on-curry-howard.html
- Curry's paradox, a generalization of Russell's paradox, using only
implication
https://en.wikipedia.org/wiki/Curry%27s_paradox
- Haskell, a programming language
https://wiki.haskell.org/Introduction
- Currying: the process of transforming a function that takes multiple
arguments in a tuple as its argument, into a function that takes just a
single argument and returns another function which accepts further
arguments, one by one, that the original function would receive in the rest
of that tuple
https://wiki.haskell.org/Currying
Seldin wrote in the IEP entry:
"He (Curry) was always willing to listen to anybody who wanted to talk to
him, to discuss their ideas, and to give whatever encouragement he could.
His office door was always open."
Kripke indeed told me that when he was a teenager he wrote to Curry and he
was the first to recognize the importance of his work on the semantics for
modal logic.
--
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 logica-l+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
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/CAF2zFLAVApBNBP2BA2h-ULjnzhoq4N42KjRVNvomm%3D3GqRf39w%40mail.gmail.com.
