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 contri­bución a la formación y desarrollo de la lla­mada «lógica combinatoria» (véase Lógica, ad finem). En los trabajos indicados Curry ha insistido en la noción de «sistema for­mal», 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 me­nester eliminar la idea de que la validez de las reglas lógicas es intuitivamente evidente. Importante es, en Curry, la idea de aceptabi­lidad de un sistema formal, esto es, la idea de que un sistema formal dado es aceptable para determinados propósitos. Ello no signi­fica que la aceptabilidad sea la única