Haskell Curry - Haskell Curry

Haskell Brooks Curry
HaskellBCurry.jpg
Född ( 1900-09-12 )12 september 1900
Millis, Massachusetts , USA
Död 1 september 1982 (1982-09-01)(81 år)
State College, Pennsylvania , USA
Nationalitet Amerikansk
Alma mater
Känd för Kombinerande logik
Curry – Howard -korrespondens
Currys paradox
Formalism i matematikfilosofin
Vetenskaplig karriär
Fält matematik
Logic
Institutioner Pennsylvania State University
University of Amsterdam
Doktorandrådgivare David Hilbert
Påverkan Alfred North Whitehead
Bertrand Russell
Moses Schönfinkel

Haskell Brooks Curry ( / h æ s k əl / och september 12, 1900-1 skrevs den september, 1982) var en amerikansk matematiker och logiker . Curry är mest känd för sitt arbete inom kombinatorisk logik . Medan det ursprungliga begreppet kombinatorisk logik baserades på ett enda papper av Moses Schönfinkel , gjorde Curry mycket av utvecklingen. Curry är också känd för Currys paradox och Curry -Howard -korrespondensen . Det finns tre programmeringsspråk uppkallade efter honom, Haskell , Brook och Curry , liksom konceptet currying , en teknik som används för att omvandla funktioner inom matematik och datavetenskap.

Liv

Curry föddes den 12 september 1900 i Millis, Massachusetts , till Samuel Silas Curry och Anna Baright Curry , som drev en skola för elokuering . Han gick in på Harvard University 1916 för att studera medicin men bytte till matematik innan han tog examen 1920. Efter två års examensarbete inom elektroteknik vid MIT återvände han till Harvard för att studera fysik och fick en MA 1924. Currys intresse för matematisk logik började under denna period när han introducerades till Principia Mathematica , försöket av Alfred North Whitehead och Bertrand Russell att grunda matematik i symbolisk logik. Kvar på Harvard, Curry tog en doktorsexamen. i matematik. Medan han leddes av George David Birkhoff för att arbeta med differentialekvationer , fortsatte hans intressen att övergå till logik. År 1927, medan han var instruktör vid Princeton University , upptäckte han Moses Schönfinkels arbete i kombinatorisk logik. Schönfinkels arbete hade förutspått mycket av Currys egen forskning, och som en konsekvens flyttade han till universitetet i Göttingen där han kunde arbeta med Heinrich Behmann och Paul Bernays , som var bekanta med Schönfinkels arbete. Curry övervakades av David Hilbert och arbetade nära Bernays och fick en doktorsexamen. 1930 med en avhandling om kombinatorisk logik.

År 1928, innan han lämnade Göttingen, gifte sig Curry med Mary Virginia Wheatley. Paret bodde i Tyskland medan Curry avslutade sin avhandling, sedan 1929 flyttade han till State College, Pennsylvania där Curry accepterade en tjänst vid Pennsylvania State College . De fick två barn, Anne Wright Curry (27 juli 1930) och Robert Wheatley Curry (6 juli 1934). Curry stannade i Penn State under de kommande 37 åren. Han tillbringade ett år vid University of Chicago 1931–1932 under en National Research Fellowship och ett år 1938–1939 vid Institute for Advanced Study i Princeton. År 1942 tog han tjänstledigt för att göra tillämpad matematik för USA: s regering under andra världskriget , särskilt vid Frankford Arsenal . Direkt efter kriget arbetade han på ENIAC -projektet, 1945 och 1946. Under ett Fulbright -stipendium samarbetade han med Robert Feys i Louvain , Belgien. Efter att ha gått i pension från Penn State 1966 accepterade Curry en tjänst vid University of Amsterdam . 1970, efter att ha avslutat den andra volymen av sin avhandling om den kombinerande logiken, gick Curry i pension från University of Amsterdam och återvände till State College, Pennsylvania.

Haskell Curry dog ​​den 1 september 1982 i State College, Pennsylvania.

Arbete

Fokus för Currys arbete var försök att visa att kombinatorisk logik kan utgöra en grund för matematik. Mot slutet av 1933 fick han veta om Kleene – Rosser -paradoxen från korrespondens med John Rosser . Paradoxen, utvecklad av Rosser och Stephen Kleene , hade bevisat inkonsekvensen i ett antal relaterade formella system , inklusive ett som föreslagits av Alonzo Church (ett system som hade lambda -kalkylen som ett konsekvent undersystem) och Currys eget system. Till skillnad från Church, Kleene och Rosser gav Curry dock inte upp det grundläggande tillvägagångssättet och sa att han inte ville "springa bort från paradoxer".

Genom att arbeta inom Combinatory Logic under hela sin karriär blev Curry i grunden grundaren och det största namnet på området. Kombinerande logik är grunden för en stil av funktionellt programmeringsspråk . Kraften och omfattningen av den kombinerande logiken är ganska lik den hos kyrkans lambda -kalkyl , och den senare formalismen har tenderat att dominera under de senaste decennierna.

År 1947 beskrev Curry också ett av de första programmeringsspråken på hög nivå och gav den första beskrivningen av ett förfarande för att konvertera ett generellt räkneuttryck till en kod för en adressadress.

Han undervisade vid Harvard, Princeton , och från 1929 till 1966, vid Pennsylvania State University . 1942 publicerade han Currys paradox . År 1966 blev han professor i logik och dess historia och filosofi om exakta vetenskaper vid University of Amsterdam , efterträdaren till Evert Willem Beth .

Curry skrev och undervisade också i matematisk logik mer allmänt; hans undervisning inom detta område kulminerade i hans 1963 Foundations of Mathematical Logic . Hans föredragna matematikfilosofi var formalism (jfr hans bok från 1951), efter hans mentor Hilbert, men hans skrifter förråder stor filosofisk nyfikenhet och ett mycket öppet sinne för intuitionistisk logik .

Stora publikationer

  • "Grundlagen der Kombinatorischen Logik". American Journal of Mathematics (på tyska). Johns Hopkins University Press. 52 (3): 509–536. 1930. doi : 10.2307/2370619 . JSTOR  2370619 .
  • En teori om formell utdragbarhet . University of Notre Dame Press. 1950.
    • En teori om formell deducibility (2: a uppl.). University of Notre Dame Press. 1957.
  • Konturer av en formalistisk matematikfilosofi . Amsterdam: Elsevier Science. 1951. ISBN 0444533680. Hämtad 23 juli 2012 .
  • Leçons de logique algébrique (på franska). Paris: Gauthier-Villars. 1952.
  • Curry, Haskell ; Feys, Robert (1958). Kombinerande logik . I . Amsterdam: North-Holland Publishing Company.
  • Grunderna för matematisk logik . Mcgraw Hill. 1963.
  • Kombinerande logik . II . Amsterdam: North-Holland Publishing Company. 1972. ISBN 0720422086.

Referenser

  1. ^ 1924. "Über die Bausteine ​​der mathematatischen Logik", Mathematische Annalen 92 , s. 305–316. Översatt av Stefan Bauer-Mengelberg till "On the building blocks of mathematical logic" i Jean van Heijenoort , 1967. En källbok i matematisk logik, 1879–1931 . Harvard Univ. Press: 355–66.
  2. ^ a b Seldin, Jonathan. "Curry and Church's Logic". Citera journal kräver |journal=( hjälp )
  3. ^ Barendregt, HP The Lambda Calculus: Its Syntax and Semantics . Elsevier. sid. 4.
  4. ^ Knuth, Donald E .; Pardo, Luis Trabb (1976). "Tidig utveckling av programmeringsspråk". Stanford University, datavetenskapliga avdelningen, sid. 22
  5. ^ Album Academicum , University of Amsterdam
  6. ^ Nelson, D. (1952). "Review: A theory of formal deducibility , av HB Curry" . Tjur. Amer. Matematik. Soc . 58 (3): 415–417. doi : 10.1090/s0002-9904-1952-09596-3 .
  7. ^ Marcus, R. Barcan (1952). "Recension: Leçons de logique algébrique , av HB Curry" . Tjur. Amer. Matematik. Soc . 58 (2): 673–674. doi : 10.1090/s0002-9904-1952-09657-9 .

Vidare läsning

  • Seldin, JP och Hindley, JR, red., 1980. Till HB Curry: Essays on combinatory logic, lambda calculus, and formalism . Academic Press. Inkluderar biografisk uppsats.

externa länkar