Haskell Curry: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
Linha 28:
|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
Conhecido por seu trabalho na [[lógica combinatória]], continuando o conceito inicial de [[Moses Schönfinkel]]. ==Biografia==
Curry nasceu
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ção diferencial|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.
| |||