Curry

Curry

Curry Haskell Brooks (Millis, Massachusetts, 1900 - State College, Pennsylvania, 1982) matematico e logico statunitense. Dopo aver iniziato studi di medicina, si laureò in matematica nel 1920 e ottenne un dottorato in fisica nel 1924. Impiegato alla General Electric, rivolse i suoi interessi dapprima alle equazioni differenziali e quindi definitivamente alla logica. Insegnò a Princeton nel 1927-28 per poi trasferirsi in Germania dove, nel 1929, sotto la supervisione di D. Hilbert, pubblicò la sua tesi Grundlagen der kombinatorischen Logik (Fondamenti di logica combinatoria). Ritornò quindi negli Stati Uniti dove insegnò all’università della Pennsylvania, continuando a occuparsi di logica e di sistemi formali. Nel 1936 fu tra i fondatori della Association for Symbolic Logic, di cui fu anche presidente. Dal 1966 al 1971 fu professore di logica, storia della logica e filosofia della scienza all’università di Amsterdam. È considerato tra i maggiori logici del Novecento; le sue principali opere sono Combinatory logic (Logica combinatoria, 1958) e Foundations of mathematical logic (Fondamenti di logica matematica, 1963).