Haskell Curry para niños
Datos para niños Haskell Curry |
||
|---|---|---|
| Información personal | ||
| Nombre de nacimiento | Haskell Brooks Curry | |
| Nacimiento | 12 de septiembre de 1900 Millis (Estados Unidos) |
|
| Fallecimiento | 1 de septiembre de 1982 State College (Estados Unidos) |
|
| Nacionalidad | Estadounidense | |
| Lengua materna | Inglés | |
| Familia | ||
| Padres | Samuel Silas Curry Anna Baright Curry |
|
| Educación | ||
| Educado en |
|
|
| Supervisor doctoral | David Hilbert | |
| Alumno de | Paul Bernays | |
| Información profesional | ||
| Ocupación | Matemático, filósofo, profesor universitario e informático teórico | |
| Cargos ocupados | Presidente (1938-1940) | |
| Empleador |
|
|
| Obras notables |
|
|
Haskell Brooks Curry (nacido el 12 de septiembre de 1900 y fallecido el 1 de septiembre de 1982) fue un importante matemático y lógico de Estados Unidos. Nació en Millis, Massachusetts.
Estudió en varias universidades prestigiosas como la Universidad Harvard y el Instituto de Tecnología de Massachusetts. Obtuvo su doctorado en Gotinga en 1930, bajo la supervisión del famoso matemático David Hilbert.
Haskell Curry fue profesor en la Universidad de Princeton y en Harvard. Luego, enseñó durante 35 años en la Universidad Estatal de Pensilvania, a partir de 1929. En 1966, se convirtió en profesor de matemáticas en Ámsterdam. Falleció en State College, Pensilvania.
Contenido
¿Qué hizo Haskell Curry?
El trabajo más importante de Curry se centró en la lógica matemática. Esto es una rama de las matemáticas que estudia cómo razonamos y cómo se construyen los sistemas lógicos. Él se especializó en algo llamado lógica combinatoria.
La Lógica Combinatoria y la Computación
La lógica combinatoria es una base muy importante para los lenguajes de programación funcionales. Estos lenguajes son un tipo especial de código que se usa para crear programas de computadora.
Haskell Curry ayudó a sentar las bases teóricas para que estos lenguajes pudieran existir. Su trabajo es fundamental para entender cómo funcionan muchos programas hoy en día.
Lenguajes de Programación Inspirados en Curry
En su honor, dos lenguajes de programación funcionales llevan su nombre:
- El lenguaje de programación Haskell.
- El lenguaje de programación Curry.
Además, un proceso importante en la programación funcional se llama "currificación". Este nombre también viene de Haskell Curry. La currificación es una técnica que permite transformar funciones para que sean más flexibles y fáciles de usar en ciertos tipos de programas.
Obras Importantes
El objetivo principal del trabajo de Curry era demostrar que la lógica combinatoria podía ser la base de todas las matemáticas. Escribió varios libros y artículos importantes sobre este tema.
Algunas de sus obras notables incluyen:
- Combinatory Logic, volumen I, escrito con Robert Feys.
- Foundations of mathematical logic.
Conceptos Relacionados
- Paradoja de Curry: Es un concepto en lógica que lleva su nombre.
Véase también
En inglés: Haskell Curry Facts for Kids
