Haskell Curry

tipo de documento Articolo di Wikipedia Scientist

Equipo Didactalia

Mi piace 0
Visite 37
Commenti 0
Salva su
Azioni
- Invia link

Info su questa risorsa...

Haskell Curry

Scientist

Artículo WikipediaFuente Dbpedia

Haskell Brooks Curry (Millis, 12 settembre 1900 – State College, 1 settembre 1982) è stato un matematico e logico statunitense.Figlio dell'educatore Samuel Silas Curry, studiò all'Università di Harvard e ricevette il dottorato a Gottingen nel 1930, sotto la supervisione di David Hilbert. Insegnò a Harvard, Princeton, e poi dal 1929 per 35 anni all'università statale della Pennsylvania. Nel 1942 espose il paradosso di Curry. Nel 1966 divenne professore di matematica all'università di Amsterdam. Morì in State College, Pennsylvania.Nel campo della logica matematica, specialmente in logica combinatoria, il lavoro principale di Curry fu quello di gettare le fondamenta per un linguaggio di programmazione funzionale.I linguaggi funzionali Haskell e Curry furono chiamati così in suo onore, così come il concetto di curryficazione in logica combinatoria. In seguito, partendo dai suoi lavori, vennero definiti il lambda calcolo e la programmazione funzionale.

Fecha de nacimiento 1900-09-12

Año de nacimiento 1900

Fecha de defunción 1982-09-01

Año de defunción 1982

Wikipedia Inglés http://en.wikipedia.org/wiki/Haskell_Curry

Wikipedia Español http://es.wikipedia.org/wiki/Haskell_Curry

Enlaces externos relacionado http://adam.science.uva.nl/~inge/Bib/bib.ps http://www.sadl.uleth.ca/gsdl/cgi-bin/library?a=p&p=about&c=curry