Emil Leon Post

(Augustow, 1879-Nueva York, 1954) 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.