“Si no me equivoco, 1=2”

CurryEl 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.

Ver la entrada original 376 palabras más

Anuncios

Responder

Introduce tus datos o haz clic en un icono para iniciar sesión:

Logo de WordPress.com

Estás comentando usando tu cuenta de WordPress.com. Cerrar sesión / Cambiar )

Imagen de Twitter

Estás comentando usando tu cuenta de Twitter. Cerrar sesión / Cambiar )

Foto de Facebook

Estás comentando usando tu cuenta de Facebook. Cerrar sesión / Cambiar )

Google+ photo

Estás comentando usando tu cuenta de Google+. Cerrar sesión / Cambiar )

Conectando a %s