El matemático y lógico Haskell Brooks Curry (1900-1982) nació un 12 de septiembre.
Educado en la Universidad de Harvard, realizó su tesis doctoral en Gotinga, en 1930, con David Hilbert (1862-1943) como director: Grundlagen der kombinatorischen Logik.
Trabajó fundamentalmente en lógica matemática, especialmente en la teoría de sistemas y en lógica combinatoria, fundamental para los lenguajes de programación funcionales.
Llevan su nombre los lenguajes de programación funcionales Haskell y Curry y el proceso de ‘currificación‘ en ciencias de la computación.
ztfnews.wordpress.com 