Haskell Curry , matemático, lógico y académico estadounidense (m. 1982)
Haskell Brooks Curry (; 12 de septiembre de 1900 - 1 de septiembre de 1982) fue un matemático y lógico estadounidense. Curry es mejor conocido por su trabajo en lógica combinatoria. Si bien el concepto inicial de lógica combinatoria se basó en un solo artículo de Moses Schönfinkel, Curry hizo gran parte del desarrollo. Curry también es conocido por la paradoja de Curry y la correspondencia Curry-Howard. Hay tres lenguajes de programación que llevan su nombre, Haskell, Brook y Curry, así como el concepto de curry, una técnica utilizada para transformar funciones en matemáticas e informática.
mil novecientossep., 12
curry haskell
Elige Otra Fecha
Eventos en el 1900
- 16ene.
Samoa Americana
El Senado de los Estados Unidos acepta el tratado anglo-alemán de 1899 en el que el Reino Unido renuncia a sus pretensiones sobre las islas de Samoa. - 24mar.
Metro de Nueva York
El alcalde de la ciudad de Nueva York, Robert Anderson Van Wyck, inicia la construcción de un nuevo "Ferrocarril de Tránsito Rápido" subterráneo que uniría Manhattan y Brooklyn. - 5abr.
B lineal
Los arqueólogos en Knossos, Creta, descubren un gran alijo de tablillas de arcilla con escritura jeroglífica en una escritura que llaman Lineal B. - 2jul.
lago de constanza
El primer vuelo de Zeppelin tiene lugar en el lago de Constanza, cerca de Friedrichshafen, Alemania. - 14jul.
Rebelion de boxeo
Los ejércitos de la Alianza de Ocho Naciones capturan Tientsin durante la Rebelión de los Bóxers.