Haskell Curry
Haskell Curry | |
---|---|
Lógica combinatória Paradoxo de Curry | |
Nascimento | Haskell Brooks Curry 12 de setembro de 1900 Millis |
Morte | 1 de setembro de 1982 (81 anos) State College |
Cidadania | Estados Unidos |
Progenitores |
|
Alma mater | Universidade de Harvard |
Ocupação | matemático, filósofo, professor universitário, cientista de computação |
Empregador(a) | Universidade de Princeton, Universidade Estadual da Pensilvânia, Universidade de Amsterdã |
Orientador(a)(es/s) | David Hilbert Paul Bernays |
Orientado(a)(s) | Maarten Bunder Edward Cogan Bruce Lercher Hilbert Levitz Kenneth Lowen Luis Sanchis Jonathan Seldin |
Instituições | Penn State Universidade de Amsterdão |
Campo(s) | matemática |
Obras destacadas | Isomorfismo de Curry-Howard, paradoxo de Curry, Currying |
Haskell Brooks Curry (Millis, 12 de setembro de 1900 – State College, 1 de setembro de 1982) foi um matemático estadunidense.[1]
Conhecido por seu trabalho na lógica combinatória, continuando o conceito inicial de Moses Schönfinkel.
Biografia
[editar | editar código-fonte]Curry nasceu em Millis, filho de Samuel Silas Curry e de Anna Baright Curry. Entrou na Universidade de Harvard em 1916, para estudar medicina, mas decidiu estudar matemática antes de se formar em 1920. Depois de dois anos de trabalho em engenharia elétrica no Instituto de Tecnologia de Massachusetts, retornou a Harvard para estudar física, recebendo o MA em 1924.
Seu interesse por lógica matemática começou durante esse período, quando ele conheceu Principia Mathematica, de Alfred North Whitehead e Bertrand Russell. Ainda em Harvard, Curry começou um Ph.D. em matemática. Enquanto dirigido por George Birkhoff para trabalhar em equações diferenciais, seu interesse continuava na lógica. Em 1927, enquanto era instrutor na Universidade de Princeton, se mudou para a Universidade de Göttingen, onde pôde trabalhar com Heinrich Behmann e Paul Bernays. Curry foi supervisionado por David Hilbert e trabalhou com Bernays, recebendo um Ph.D. em 1930 com uma obra sobre lógica combinatória.
Ainda em 1928, Curry se casou com Mary Virginia Wheatley. O casal viveu na Alemanha enquanto Curry completava sua dissertação, e se mudou para State College, onde Curry aceitou um cargo em Penn State. Tiveram dois filhos, Anne Wright Curry (27 de julho de 1930) e Robert Wheatley Curry (6 de julho de 1934). Curry ficou um ano na Universidade de Chicago entre 1931 e 1932 e um ano no Instituto de Estudos Avançados de Princeton, entre 1938 e 1939. Em 1942 ele trabalhou com matemática aplicada ao governo dos Estados Unidos, durante a Segunda Guerra Mundial. Após a guerra, trabalhou no projeto ENIAC, entre 1945 e 1946. Após se aposentar de Penn State em 1966, Curry aceitou uma posição na Universidade de Amsterdão. Em 1970, após terminar o segundo volume de seu tratado sobre lógica combinatória, aposentou-se da Universidade de Amsterdão e retornou a State College.
Em State College permaneceu até morrer em 1 de setembro de 1982.
Publicações selecionadas
[editar | editar código-fonte]- 1930 - Grundlagen der kombinatorischen Logik. American Journal of Mathematics
- 1951 - Outlines of a formalist philosophy of mathematics. North Holland.
- 1958 - (com Robert Feys) Combinatory Logic I. North Holland.
- 1972 - (com J. R. Hindley, J. P. Seldin) Combinatory Logic II. North-Holland, 1972.
- 1979 - Foundations of Mathematical Logic. Dover.
Ver também
[editar | editar código-fonte]- Currying, que consiste em tratar funções de dois (ou mais) argumentos como uma função que gera outra função. Por exemplo, f(x,y) = x + y pode ser interpretada como a função F(x)=gx, sendo gx a função gx(y) = x + y.
- Curry
- Haskell (linguagem de programação), em que todas as funções tem um único argumento (usando Currying)
- Paradoxo de Curry
- Programação funcional
- Cálculo lambda
Referências
- ↑ O'Connor, John J.; Robertson, Edmund F., «Haskell Curry», MacTutor History of Mathematics archive (em inglês), Universidade de St. Andrews