Redigerer Haskell Curry

{{Infoboks akademiker
 | navn = Haskell Brooks Curry
 | bilde = 
 | bildetekst = 
 | byline = 
 | fsted = Millis, Massachusetts
 | dsted = State College, Pennsylvania
 | nasjonalitet = Amerikansk
 | ektefelle = Mary Virginia Wheatley
 | barn = Anne Wright Curry og Robert Wheatley Curry
 | signatur = 
 | signaturtekst = 
 | fagområde = [[Kombinatorisk logikk]]
 | utdannelse = Matematikk, fysikk, logikk
 | arbeidssted = 
 | stilling = 
 | utmerkelser = 
 | alma mater = 
 | studenter = 
 | kjent for = [[Currys paradoks]], [[kombinatorisk logikk]], [[Curry–Howard-korrespondansen]]
 | verk = 
 }}
'''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 (programmeringsspråk)|Curry]]. Konseptet med [[currying]], eller delvise funksjoner, er også oppkalt etter ham.

== Liv ==

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 [[Pennsylvania State University|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 ==
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 (Whitehead-Russel)|''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å [[differensialligning]]er. 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 ==
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 [[funksjonell programmering|funksjonelle]] [[programmeringsspråk]]. Kraften og omfanget av kombinatorisk logikk likedan det av [[lambdakalkylen]] utviklet av [[Alonzo Church]].

== Publikasjoner ==
* 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==
<references />

== Kilder ==
* {{Kilde bok
  | ref= Seldin 2006
  | forfatter= Jonathan Seldin
  | utgivelsesår= 2006
  | tittel= The Logic of Curry and Church
  | utgave=journal
 }}
* {{Kilde bok
  | ref= Barendregt
  | forfatter=  H.P. Barendregt
  | utgivelsesår=1985
  | tittel= The Lambda Calculus: Its Syntax and Semantics
  | utgave= bok
 }}

== Eksterne lenker ==
* [https://web.archive.org/web/20040406093224/http://www.sadl.uleth.ca/gsdl/cgi-bin/library?a=p&p=about&c=curry Curry-arkiver] har bilder av flere hundre manuscriptsider fra 1920 til 1931.
* [https://web.archive.org/web/20040328092820/http://adam.science.uva.nl/~inge/Bib/bib.ps CLg. bibliography 587 pp]


{{Autoritetsdata}}

{{STANDARDSORTERING:Curry, Haskell}}
[[Kategori:Personer fra Norfolk County i Massachusetts]]
[[Kategori:Matematikere fra USA]]
[[Kategori:Logikere]]