Haskell Curry: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
m r2.7.1) (Robô: A adicionar: no:Haskell Curry |
|||
Linha 1:
{{Info/Cientista
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
}}
'''Haskell Brooks Curry''' ([[Millis (Massachusetts)|Millis]], [[12 de setembro]] de [[1900]] – [[State College]], [[1 de setembro]] de [[1982]]) foi um [[matemático]] dos [[Estados Unidos da América]]. Ele é conhecido por seu trabalho na [[lógica combinatória]], continuando o conceito inicial de [[Moses Schönfinkel]].
Linha 40 ⟶ 39:
Em State College permaneceu até morrer em [[1 de setembro]] de [[1982]].
==Publicações selecionadas==
*1930 - ''Grundlagen der kombinatorischen Logik''. American Journal of Mathematics
*1951 - ''Outlines of a formalist philosophy of mathematics''. North Holland.
|