Haskell Curry
Haskell Curry | |||
---|---|---|---|
1938 - 1940 ← Curt John Ducasse (en) ![]() ![]() | |||
Bizitza | |||
Jaiotzako izen-deiturak | Haskell Brooks Curry | ||
Jaiotza | Millis (Massachusetts), 1900eko irailaren 12a | ||
Herrialdea | ![]() | ||
Lehen hizkuntza | ingelesa | ||
Heriotza | State College (Pennsylvania), 1982ko irailaren 1a (81 urte) | ||
Familia | |||
Aita | Samuel Silas Curry | ||
Ama | Anna Baright Curry | ||
Hezkuntza | |||
Heziketa | Harvard Unibertsitatea (1916 - 1920) Massachusetts Institute of Technology (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 (Martin) 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
| ||
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.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/1/1c/Haskell-Logo.svg/220px-Haskell-Logo.svg.png)
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.
Datuak: Q92611