Matemático estadounidense de origen polaco. Especializado en lógica matemática, elaboró un sistema para controlar la validez de las fórmulas de la lógica sentencial mediante las tablas de verdad, propuso las lógicas polivalentes e introdujo el concepto de grado de indecidibilidad
(Leiden, c. 1612-Haarlem, 1680) Pintor neerlandés. Se especializó en la pintura de paisajes (Visita a los alrededores de Porto Calvo; Vista de Tamaraco)