Haskell Curry

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

1938 - 1940
Curt John Ducasse (en) Itzuli - Cooper Harold Langford (en) Itzuli
Bizitza
Izen osoaHaskell Brooks Curry
JaiotzaMillis (en) Itzuli1900eko irailaren 12a
Herrialdea Ameriketako Estatu Batuak
Lehen hizkuntzaingelesa
HeriotzaState College (Pennsylvania)1982ko irailaren 1a (81 urte)
Familia
AitaSamuel Silas Curry
AmaAnna Baright Curry
Hezkuntza
HeziketaHarvard Unibertsitatea
(1916 - 1920)
Massachusetts Institute of Technology
(1920 - 1922)
Harvard Unibertsitatea
(1922 - 1924)
Göttingengo Unibertsitatea
(1928 - 1930)
TesiaGrundlagen der Kombinatorischen Logik (en) Itzuli
Tesi zuzendariaDavid 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
Hizkuntzakingelesa
Irakaslea(k)Paul Bernays (en) Itzuli
Jarduerak
Jarduerakmatematikaria, 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 nabarmenakCurry–Howard correspondence (en) Itzuli
Curry's paradox (en) Itzuli
currying (en) Itzuli
InfluentziakAlfred 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).