Haskell Curry

De Viquipèdia
Salta a la navegació Salta a la cerca
Infotaula de personaHaskell Curry
HaskellBCurry.jpg
Modifica el valor a Wikidata
Biografia
Naixement(en) Haskell Brooks Curry Modifica el valor a Wikidata
12 setembre 1900 Modifica el valor a Wikidata
Millis (Massachusetts) Modifica el valor a Wikidata
Mort1r setembre 1982 Modifica el valor a Wikidata (81 anys)
State College (Pennsilvània) Modifica el valor a Wikidata
President Association for Symbolic Logic
1938 – 1940
← Curt John DucasseCooper Harold Langford → Modifica el valor a Wikidata
Dades personals
FormacióUniversitat de Göttingen (1928–1930)
Universitat de Harvard (1922–1924)
Institut de Tecnologia de Massachusetts (1920–1922)
Universitat de Harvard (1916–1920) Modifica el valor a Wikidata
Tesi acadèmicaGrundlagen der Kombinatorischen Logik  (1930 Modifica el valor a Wikidata)
Director de tesiDavid Hilbert Modifica el valor a Wikidata
Activitat
Ocupaciómatemàtic, professor d'universitat, filòsof, informàtic Modifica el valor a Wikidata
OcupadorUniversitat d'Amsterdam (1966–1970)
Universitat Estatal de Pennsilvània (1930–1966)
Universitat de Princeton (1927–1928) Modifica el valor a Wikidata
ProfessorsPaul Bernays Modifica el valor a Wikidata
Influències
Obra
Obres destacables
Estudiant doctoralHilbert Levitz, Jonathan Seldin, Edward Cogan, Kenneth Loewen, Luis Sanchis, Bruce Lercher i Maarten Bunder Modifica el valor a Wikidata
Família
CònjugeMary Virginia Wheatley
ParesSamuel Silas Curry Modifica el valor a Wikidata  i Anna Baright Curry Modifica el valor a Wikidata

Haskell Curry (en anglès: Haskell Brooks Curry) (Millis, 12 de setembre de 1900 State College, 1 de setembre de 1982) va ser un matemàtic i lògic estatunidenc. Curry és conegut pel seu treball en la lògica combinatòria, mentre que el concepte inicial de la lògica combinatòria es basa en un document de Moisès Schönfinkel, gran part del desenvolupament va ser realitzat per Curry. Curry és també conegut per la paradoxa de Curry[1] i la correspondència Curry-Howard.

Hi ha tres llenguatges de programació que porten el seu nom, Haskell, Brooks i Curry, així com el concepte de Currificació, una tècnica utilitzada per a la transformació de funcions en matemàtiques i ciències de la computació.

Vida[modifica]

Curry va néixer el 12 de setembre de 1900, a Millis, Massachusetts, fill de Samuel Silas Curry i Anna Baright Curry, que havien fundat i dirigien una escola, l'actual Curry College.[2]

Va entrar a la Universitat Harvard el 1916 per estudiar medicina, però ho va canviar a les matemàtiques abans de graduar-se, l'any 1920. Després de dos anys d'estudis de postgrau en enginyeria elèctrica al MIT, va tornar a Harvard per estudiar física, obtenint un Master el 1924. Els interessos de Curry en la lògica matemàtica es van iniciar quan es va introduir al Principia Mathematica, l'intent per part d'Alfred North Whitehead i Bertrand Russell de descriure les matemàtiques bàsiques en la lògica simbòlica.

A la Universitat Harvard, Curry va realitzar estudis de doctorat en les matemàtiques. Encara que va ser dirigida per George Birkhoff per treballar en equacions diferencials, els seus interessos van continuar desplaçant-se cap a la lògica. El 1927, essent professor per a la Universitat de Princeton, va descobrir l'obra de Moisès Schönfinkel en la lògica combinatòria. Treball Schönfinkel havia anticipat la major part de la recerca pròpia de Curry, i com a conseqüència, es va traslladar a la Universitat de Göttingen on podia treballar amb Heinrich Behmann i Paul Bernays, que estaven familaritzats amb el treball de Schönfinkel. La tesi doctoral de Curry va ser supervisada per en David Hilbert i va treballar en estreta col·laboració amb Bernays, rebent el doctorat el 1930 amb una tesi sobre lògica combinatòria.[3]

Treballs destacats[modifica]

  • 1930: Grundlagen der kombinatorischen Logik; Amer. J. Math.; 52:509-536;789-834 (1930)
  • 1951: Outlines of a formalist philosophy of mathematics. North Holland.
  • 1958: Curry, Haskell B., Feys, Robert; Combinatory Logic, Volume I; North Holland.
  • 1963 Foundations of mathematical logic; McGrawHill 1963;
  • 1972 Curry, Haskell B., Hindley, J.Roger, Seldin, Jonathan P.; Combinatory Logic, Volume II; North Holland 1972; ISBN 0-7204-2208-6

Vegeu també[modifica]

Referències[modifica]

  1. Cook, 2020, p. 157.
  2. Fedo, 2020, p. 8 i ss.
  3. Seldin, 2004, p. 819 i ss.

Bibliografia[modifica]

Enllaços externs[modifica]