Haskell Curry

Haskell Curry
Association for Symbolic Logic (en) lehendakari	; 1938 - 1940 ; ← Curt John Ducasse (mul) - Cooper Harold Langford (en) →
Association for Symbolic Logic (en) lehendakari
Bizitza
Jaiotzako izen-deiturak	Haskell Brooks Curry
Jaiotza	Millis, 1900eko irailaren 12a
Herrialdea	Ameriketako Estatu Batuak
Lehen hizkuntza	ingelesa
Heriotza	State College, 1982ko irailaren 1a (81 urte)
Familia
Aita	Samuel Silas Curry
Ama	Anna Baright Curry
Hezkuntza
Heziketa	Harvard Unibertsitatea ; (1916 - 1920) ; Massachusettseko Teknologia Institutua ; (1920 - 1922) ; Harvard Unibertsitatea ; (1922 - 1924) ; Göttingengo Unibertsitatea ; (1928 - 1930)
Tesia	Grundlagen der Kombinatorischen Logik (en)
Tesi zuzendaria	David Hilbert
Doktorego ikaslea(k)	Hilbert Levitz (en) ; Jonathan Paul Seldin (en) ; Edward Jack Cogan (en) ; Kenneth L. Loewen (en) ; Luis Elpidis Sanchis (en) ; Bruce Lercher (en) ; Maarten Wicher Visser Bunder (en)
Hizkuntzak	ingelesa
Irakaslea(k)	Paul Bernays (en)
Jarduerak
Jarduerak	matematikaria, filosofoa, unibertsitateko irakaslea eta informatikaria
Enplegatzailea(k)	Princetongo Unibertsitatea (1927 - 1928); Pennsylvaniako Estatu Unibertsitatea (1930 - 1966); Amsterdamgo Unibertsitatea (1966ko irailaren 1a - 1970eko irailaren 1a)
Lan nabarmenak	ikusi Curry–Howard correspondence (en) ; Curry's paradox (en) ; currying (en) ;
Influentziak	Alfred North Whitehead

Haskell Brooks Curry (Millis, Massachusetts, AEB, 1900eko irailaren 12a - State College, Pennsylvania, AEB, 1982ko irailaren 1a) estatubatuar matematikaria izan zen.

Biografia

Harvarden egin zituen ikasketak, eta doktoregoa Göttingenen (Alemania) bukatu zuen, 1932an; tesia, Grundlagen der kombinatorischen Logik (Logika konbinatorioaren oinarriak), Hilberten 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.

Idazlanak

Bere liburuen artean, Combinatory Logic^[1] (1958, Logika konbinatorioa), Robert Feys-ekin batera idatzi zuena, eta Foundations of Mathematical Logic (1963, Matematika logikoaren oinarriak) dira aipagarrienak.

Errekonozimenduak

Haskell programazio-lengoaiari Curry-ren izena eman zioten gorazarre gisa.

Haskell programazio-lengoaia funtzionalaren logoa.

Erreferentziak

Artikulu honen edukiaren zati bat Lur hiztegi entziklopedikotik edo Lur entziklopedia tematikotik txertatu zen 2011/12/27 egunean. Egile-eskubideen jabeak, Eusko Jaurlaritzak, hiztegi horiek CC-BY 3.0 lizentziarekin argitaratu ditu, Open Data Euskadi webgunean.

↑ Curry, Haskell Brooks, 1900- Feys, Robert, 1889- Craig, William, 1918-. (1958). Combinatory logic. North-Holland Publishing Company PMC 769219250. (Noiz kontsultatua: 2020-01-22).

Datuak: Q92611

[1] Curry, Haskell Brooks, 1900- Feys, Robert, 1889- Craig, William, 1918-. (1958). Combinatory logic. North-Holland Publishing Company PMC 769219250. (Noiz kontsultatua: 2020-01-22).

[1]