Haskell Curry, matemático, lógico e acadêmico americano (m. 1982)
Haskell Brooks Curry (; 12 de setembro de 1900 - 1 de setembro de 1982) foi um matemático e lógico americano. Curry é mais conhecido por seu trabalho em lógica combinatória. Enquanto o conceito inicial de lógica combinatória foi baseado em um único artigo de Moses Schönfinkel, Curry fez grande parte do desenvolvimento. Curry também é conhecido pelo paradoxo de Curry e pela correspondência Curry-Howard. Existem três linguagens de programação com o seu nome, Haskell, Brook e Curry, assim como o conceito de currying, uma técnica usada para transformar funções em matemática e ciência da computação.
1900set, 12
Curry Haskell
Escolha Outra Data
Eventos em 1900
- 16jan
Samoa Americana
O Senado dos Estados Unidos aceita o tratado anglo-alemão de 1899, no qual o Reino Unido renuncia às suas reivindicações às ilhas samoanas. - 24mar
Metrô de Nova York
O prefeito de Nova York, Robert Anderson Van Wyck, inicia a construção de uma nova "Rapid Transit Railroad" subterrânea que ligaria Manhattan e Brooklyn. - 5abr
B linear
Arqueólogos em Cnossos, Creta, descobrem um grande esconderijo de tabuletas de argila com escrita hieroglífica em uma escrita que chamam de Linear B. - 2jul
Lago Constança
O primeiro voo do Zeppelin ocorre no Lago Constança, perto de Friedrichshafen, na Alemanha. - 14jul
Rebelião dos Boxers
Exércitos da Aliança das Oito Nações capturam Tientsin durante a Rebelião dos Boxers.