CURRY, HASKELL BROOKS (1900-1982)
Nac. en Millis (Massachusetts, EE. UU.), fue profesor desde 1941 en Pennsylvania State College, actualmente Pennsylvania State University (University Park, Pennsylvania). Curry se ha distinguido por sus trabajos de fundamentación de la matemática, y dentro de ellos, por su contribución a la formación y desarrollo de la llamada «lógica combinatoria» (véase Lógica, ad finem). En los trabajos indicados Curry ha insistido en la noción de «sistema formal», a diferencia del «sistema axiomático». Un sistema axiomático puede constituir el punto de partida para un sistema formal, pero con el fin de elaborar este último es menester eliminar la idea de que la validez de las reglas lógicas es intuitivamente evidente. Importante es, en Curry, la idea de aceptabilidad de un sistema formal, esto es, la idea de que un sistema formal dado es aceptable para determinados propósitos. Ello no significa que la aceptabilidad sea la única