Haskell Curry

tipo de documento Articulo Wikipedia Científico

Equipo Didactalia

Me gusta 0
Visitas 37
Comentarios 0
Guardar en
Acciones
- Enviar enlace

Acerca de este recurso...

Haskell Curry

Científico

Artículo WikipediaFuente Dbpedia

Haskell Brooks Curry (12 de septiembre de 1900 - 1 de septiembre de 1982) fue un matemático y lógico estadounidense. Nacido en Millis, Massachusetts, se educó en la Universidad Harvard y recibió un doctorado en Göttingen con David Hilbert en 1930. Enseñó en las universidades de Princeton y Harvard, y después, comenzando en 1929, durante 35 años en la Universidad Estatal de Pensilvania. En 1966 llegó a ser profesor de matemáticas en Ámsterdam. Murió en State College, Pennsylvania.El trabajo principal de Curry fue en lógica matemática, especialmente en la teoría de sistemas y procesos formales - lógica combinatoria, el fundamento para los lenguajes de programación funcionales. Los lenguajes de programación funcionales Haskell y Curry se nombran así por él al igual que el proceso de currificación en lenguajes de programación funcionales.

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