Curry, Haskell Brooks

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).

Trovi questo termine anche in:

Quiz

Mettiti alla prova!

Testa la tua conoscenza e quella dei tuoi amici.

Fai il quiz ora