Hopp til innhold

Haskell Curry

Fra Wikipedia, den frie encyklopedi
Haskell Brooks Curry
FødtHaskell Brooks Curry
12. sep. 1900[1][2][3][4]Rediger på Wikidata
Millis, Massachusetts
Død1. sep. 1982[1][3][4][5]Rediger på Wikidata (81 år)
State College, Pennsylvania
BeskjeftigelseMatematiker, filosof, universitetslærer, informatiker Rediger på Wikidata
Embete
  • Styreleder (Association for Symbolic Logic, 1938–1940) Rediger på Wikidata
Utdannet vedHarvard University (19161920)[6]
Massachusetts Institute of Technology (19201922)[6]
Georg-August-Universität Göttingen (19281930)[6]
Harvard University (19221924)[6]
Doktorgrads-
veileder
David Hilbert
EktefelleMary Virginia Wheatley
FarSamuel Silas Curry[6]
MorAnna Baright Curry[6]
BarnAnne Wright Curry og Robert Wheatley Curry
NasjonalitetAmerikansk
UtdannelseMatematikk, fysikk, logikk
Kjent forCurrys paradoks, kombinatorisk logikk, Curry–Howard-korrespondansen

Haskell Brooks Curry (født 12. september 1900, død 1. september 1982) var en amerikansk matematiker og logiker. Curry er best kjent for sitt arbeid innenfor kombinatorisk logikk, Currys paradoks og Curry–Howard-korrespondansen. Selv om de første tankene og konseptene rundt kombinatorisk logikk ble utviklet av Moses Schönfinkel, ble mesteparten utviklet i etterkant av Curry. To programmeringsspråk er kalt opp etter ham, og flere er inspirert av ham, Haskell og Curry. Konseptet med currying, eller delvise funksjoner, er også oppkalt etter ham.

Curry ble født 12. september 1900 i Millis i Massachusetts av foreldrene Samuel Silas Curry og Anna Baright Curry, som sammen drev en skole for taleteknikk. I 1928, før han flyttet til Göttingen, giftet Curry seg med Mary Virginia Wheatley. Paret levde i Tyskland mens Curry fullførte hans avhandling. I 1929 flyttet de tilbake til State College, Pennsylvania hvor Curry tok en stilling ved Penn State College. De hadde to barn sammen, Anne Wright Curry (27. juli 1930) og Robert Wheatley Curry (6. juli 1934). Curry forble i Penn State de neste 37 årene. I sitt arbeid reiste han til Amsterdam i 1966 men returnerte igjen til Penn State når hans andre volum av avhandlingen om kombinatorisk logikk var ferdig i 1970.

Haskell Curry døde 1. september 1982, 81 år gammel.

Utdanning og arbeid

[rediger | rediger kilde]

I 1916 startet han på Universitetet i Harvard for å studere medisin, men byttet til matematikk rett før avgangseksamen i 1920. Etter to år med studier innenfor eletroteknikk hos MIT returnerte Curry til Harvard for å studere fysikk som han to år senere tok han en master i. Currys interesse i matematikk tok først av da han leste Principia Mathematica av Alfred North Whitehead og Bertrand Russell. Boken prøvde å grunne matematikk i symbolsk logikk.

I sitt arbeid for doktoravhandling ønsket hans lærer, George Birkhoff, at Curry skulle fokusere på differensialligninger. Fra Curry sin side skiftet dette fokuset kontinuerlig over til logikk. I 1927, som lærer på Universitetet i Princeton, kom Curry over verkene til Moses Schönfinkel i kombinatorisk logikk. Schönfinkels arbeid hadde allerede innebåret mye av det Curry for tiden studerte og som konsekvens av dette valgte han å flytte til Tyskland for å studere kombinatorisk logikk videre sammen med Heinrich Behmann og Paul Bernays, begge kjente med Schönfinkel arbeid.

Curry brukte ett år fra 1931 til 1932 i Universitetet i Chicago under United States National Research Council og ett år fra 1938 til 1939 hos Institute for Advanced Study ved Princeton. I 1942 tok Curry permisjon for å jobbe med anvendt matematikk som bidrag til USAs innsats i andre verdenskrig. Rett etter krigen begynte han å jobbe i ett år med ENIAC-prosjektet, som skulle skapte verdens første universell datamaskin. Curry trakk seg vekk fra State College i 1966 da han fikk tilbud om en stilling som professor i matematikk ved Universitetet i Amsterdan for så å returnere igjen i 1970 når hans arbeid med andre og siste volum om kombinatorisk logikk var ferdig.

Forskning

[rediger | rediger kilde]

Hovedfokuset i Curry sitt arbeid var å bevise at kombinatorisk logikk kunne danne et grunnlag for matematikk. Mot slutten av 1933 lærte han om Kleene–Rosser-paradokset gjennom en korrespondanse med John Rosser. Paradokset som var utviklet av Rosser selv, sammen med Stephen Kleene, hadde bevist en inkonsistens i flere formelle systemer – inkludert lambdakalkyle og Curry sitt system. På trass av dette ga han ikke opp og kommenterte med at han "ikke ville løpe vekk fra paradokser".

Med det fokuset innenfor kombinatorisk logikk etablerte Curry seg som en gründer og autoritet gjennom hele karieeren sin. Kombinatorisk logikk er blant annet fundamentet i funksjonelle programmeringsspråk. Kraften og omfanget av kombinatorisk logikk likedan det av lambdakalkylen utviklet av Alonzo Church.

Publikasjoner

[rediger | rediger kilde]
  • 1930 – Grundlagen der kombinatorischen Logik. American Journal of Mathematics
  • 1951 – Outlines of a formalist philosophy of mathematics. Nord-Holland.
  • 1958 – Combinatory Logic I (med Robert Feys). Nord-Holland.
  • 1972 – Combinatory Logic II (med J. R. Hindley, J. P. Seldin). Nord-Holland, 1972.
  • 1979 – Foundations of Mathematical Logic. Dover.

Referanser

[rediger | rediger kilde]
  1. ^ a b Encyclopædia Britannica Online, oppført som Haskell Brooks Curry, Encyclopædia Britannica Online-ID biography/Haskell-Brooks-Curry, besøkt 9. oktober 2017[Hentet fra Wikidata]
  2. ^ Gemeinsame Normdatei, besøkt 24. april 2014[Hentet fra Wikidata]
  3. ^ a b Autorités BnF, data.bnf.fr, besøkt 10. oktober 2015[Hentet fra Wikidata]
  4. ^ a b Gran Enciclopèdia Catalana, oppført som Haskell Brooks Curry, Gran Enciclopèdia Catalana-ID 0021105[Hentet fra Wikidata]
  5. ^ Brockhaus Enzyklopädie, oppført som Haskell Brooks Curry, Brockhaus Online-Enzyklopädie-id curry-haskell-brooks, besøkt 9. oktober 2017[Hentet fra Wikidata]
  6. ^ a b c d e f MacTutor History of Mathematics archive[Hentet fra Wikidata]
  • Jonathan Seldin (2006). The Logic of Curry and Church (journal utg.). 
  • H.P. Barendregt (1985). The Lambda Calculus: Its Syntax and Semantics (bok utg.). 

Eksterne lenker

[rediger | rediger kilde]