Curry, Haskell Brooks
Estatubatuar matematikaria (Millis, Massachusetts, 1900 - State College, Pennsylvania, 1982). Harvarden egin zituen ikasketak, eta doktoregoa Göttingen-en (Alemania) bukatu zuen, 1932an; tesia, Grundlagen der kombinatorischen Logik (Logika konbinatorioaren oinarriak), Hilbert-en zuzendaritzapean egin zuen. Harvarden eta Princetonen eskolak eman ondoren, Pennsylvania State Unibertsitateko irakasle izan zen 35 urtez. Bigarren Mundu Gerran, Johns Hopkins Unibertsitatean aritu zen fisika aplikatuaren arloan ikerlanean. 1966an Amsterdameko matematika katedra onartu zuen. Curryk ekarpenik garrantzitsuenak logika matematikoaren arloan egin zituen, bereziki sistema formalen eta prozesuen teorian. Erregela inferentzialak erabiliz, kalkulu logiko bat eraiki zuen. Bere liburuen artean, Combinatory Logic (1958, Logika konbinatorioa), Robert Feys-ekin batera idatzi zuena, eta Foundations of Mathematical Logic (1963, Matematika logikoaren oinarriak) dira Curryren aipagarrienak.
