Matemático estadounidense. Profesor en la Universidad de Princeton, se especializó en lógica matemática, metalógica y metamatemática. Es notable su concepto de calculabilidad y su demostración de la indecidibilidad de la lógica de primer orden. Desarrolló el cálculo de conversión lambda, que permite efectuar operaciones lógicas con variables generalizadas. Destacan sus obras Cálculo de conversión lambda (1941) e Introducción a la lógica matemática (1944)
(Hartford, 1826-Nueva York, 1900) Pintor estadounidense. Exponente del paisajismo de los años cincuenta y sesenta, sus grandes panorámicas se sitúan dentro del idealismo de la Hudson River School, pero con una representación más objetiva de la naturaleza y de sus fenómenos (Cataratas del Niágara, 1857)