Haskell Curry

Uit Wikipedia, de vrije encyclopedie
Ga naar: navigatie, zoeken

Haskell Brooks Curry (Millis (Massachusetts), 12 september 1900 - State College (Pennsylvania), 1 september 1982) was een Amerikaanse wiskundige en logicus. Hij was de zoon van de onderwijzer Samual Silas Curry. De functionele programmeertalen Haskell en Curry zijn naar hem vernoemd evenals het concept van currying in combinatorische logica.

Biografie[bewerken]

Hij heeft gestudeerd aan Harvard University en behaalde zijn Ph.D. aan de Georg August University te Göttingen, onder leiding van David Hilbert. Hij heeft lesgegeven aan de Harvard universiteit (Princeton) en van 1929 tot 1966 aan de Pennsylvania State Universiteit. In 1942 publiceerde hij de paradox van Curry en in 1966 werd hij professor in de wiskunde aan de Universiteit van Amsterdam.

Terwijl hij te Göttingen studeerde, las Haskell het werk van Moses Schönfinkel waarin combinatorische logica werd geïntroduceerd, een bepalende gebeurtenis in zijn loopbaan. Zijn proefschrift ging hier dan ook over en in zijn verdere loopbaan bleef hij met dit onderwerp bezig. Hij is hierdoor de grondlegger en tevens de grootste naam van dit vakgebied geworden. Combinatorische logica is de basis voor een bepaalde stijl van functionele programeertalen en de kracht van combinatorische logica is vergelijkbaar met de lambdacalculus van Alonzo Church. Het laatstgenoemde formalisme heeft redelijk de overhand gekregen in de laatste paar decennia.

Curry schreef en gaf ook les over wiskundige logica in het algemeen; dit resulteerde in 1963 in Foundations of Mathematical Logic (funderingen van de wiskundige logica). In zijn filosofische ideeën over de wiskunde gaf hij, in navolging van zijn mentor Hilbert, de voorkeur aan het formalisme wat stelt dat formele (wiskunde of logische) beweringen geen betekenis hebben maar de zaken die zij voorstellen wel. Zijn geschreven werken geven wel blijk van een grote filosofische nieuwsgierigheid en een open blik tegenover intuïtionistische logica.

Referenties[bewerken]

  • 1951 - Outlines of a formalist philosophy of mathematics
  • 1958 (met Robert Feys) - Combinatory Logic I - Veel van de aanpak in dit boek was terug te zien in later werk van Haskell Curry.
  • 1979 (1963) - Foundations of Mathematical Logic
  • 1972 (met Seldin, J.P. en Hindley, J.R.) - Combinatory Logic II - Een uitgebreid overzicht van combinatorische logica, inclusief een overzicht van de historie.
  • 1980 (Seldin, J.P., and Hindley, J.R.) - To H.B. Curry: Essays on combinatory logic, lambda calculus, and formalism - Inclusief een biografie.

Externe links[bewerken]