Haskell Curry

Wikipedia, Entziklopedia askea
Haskell Curry
HaskellBCurry.jpg
Association for Symbolic Logic (en) Itzuli presidente

1938 - 1940
Curt John Ducasse (en) Itzuli - Cooper Harold Langford (en) Itzuli
Bizitza
Izen osoa Haskell Brooks Curry
Jaiotza Millis (en) Itzuli1900eko irailaren 12a
Herrialdea  Ameriketako Estatu Batuak
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) Itzuli
Tesi zuzendaria David Hilbert
Doktorego ikaslea(k) Hilbert Levitz (en) Itzuli
Jonathan Paul Seldin (en) Itzuli
Edward Jack Cogan (en) Itzuli
Kenneth L. Loewen (en) Itzuli
Luis Elpidis Sanchis (en) Itzuli
Bruce Lercher (en) Itzuli
Maarten (Martin) Wicher Visser Bunder (en) Itzuli
Hizkuntzak ingelesa
Irakaslea(k) Paul Bernays (en) Itzuli
Jarduerak
Jarduerak matematikaria, filosofoa, unibertsitateko irakaslea eta informatikaria
Enplegatzailea(k) Princetongo Unibertsitatea  (1927 -  1928)
Pennsylvania State University (en) Itzuli  (1930 -  1966)
Amsterdamgo Unibertsitatea  (1966ko irailaren 1a -  1970eko irailaren 1a)
Lan nabarmenak Curry–Howard correspondence (en) Itzuli
Curry's paradox (en) Itzuli
currying (en) Itzuli
Influentziak Alfred North Whitehead (en) Itzuli

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

Biografia[aldatu | aldatu iturburu kodea]

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[aldatu | aldatu iturburu kodea]

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[aldatu | aldatu iturburu kodea]

Haskell programazio-lengoaia funtzionalaren logoa.

Erreferentziak[aldatu | aldatu iturburu kodea]

  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.