Curry, Haskell Brooks
Redazione De Agostini
matematico e logico statunitense (Millis, Massachusetts, 1900-? 1984). Professore dal 1941 all'Università di Pennsylvania e dal 1966 in quella di Amsterdam, esponente del formalismo logico, legò il suo nome allo sviluppo della logica combinatoria, sistematizzando, nel 1930, la teoria di M. Schönfinkel e, in seguito, fornendo ampie applicazioni dei concetti combinatori. Opere: Grundlagen der kombinatorischen Logik (1930; Fondamenti di logica combinatoria); Foundations of Mathematical Logic (1963).