Haskell Curry: diferenças entre revisões

Conteúdo apagado Conteúdo adicionado
m r2.7.1) (Robô: A adicionar: no:Haskell Curry
Kaktus Kid (discussão | contribs)
Linha 1:
{{Info/Cientista
| nome = Haskell Curry
| imagem =
| tamanho =
| legenda =
| nome_nativo =
| data_nascimento = [[12 de setembro]] de [[1900]]
| local_nascimento = [[Millis (Massachusetts)|Millis]]
| data_morte = {{nowrap|{{morte e idade|1|9|1982|12|9|1900}}}}
| local_morte = [[State College]]
| causa_morte =
| pais_de_residencia = {{USA}}
| nacionalidade =
| etnicidade =
| campo = [[matemáticaMatemática]]
| instituicao_trabalho = [[Penn State]]<br />[[Universidade de Amsterdão]]
| alma_mater = [[Universidade de Harvard]]
| tese =
| orientador = [[David Hilbert]]<br />[[Paul Bernays]]
| orientado = [[Maarten Bunder]]<br />[[Edward Cogan]]<br />[[Bruce Lercher]]<br />[[Hilbert Levitz]]<br />[[Kenneth Lowen]]<br />[[Luis Sanchis]]<br />[[Jonathan Seldin]]
| conhecido_por = [[Lógica combinatória]]<br />[[Paradoxo de Curry]]
| influenciado =
| influencia =
| premio =
| conjuge =
| religiao =
| assinatura =
| notas =
}}
 
'''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==
Segue uma lista das publicações mais relevantes do autor:
*1930 - ''Grundlagen der kombinatorischen Logik''. American Journal of Mathematics
*1951 - ''Outlines of a formalist philosophy of mathematics''. North Holland.