- Emil Leon Post
-
Emil Leon Post
Emil Leon Post (11 de febrero de 1897 en Augustów - 21 de abril de 1954 en Nueva York) fue un matemático estadounidense de origen polaco especializado en lógica matemática.
Entre sus aportaciones se encuentran la elaboración de un sistema para controlar la validez de las fórmulas de la lógica sentencial mediante las tablas de verdad. También propuso las lógicas polivalentes, introdujo el concepto de grado de indecidibilidad y creó el sistema formal llamado Máquina de Post, el cual es equivalente a la Máquina de Turing.
Enlaces externos
Categorías: Matemáticos de Polonia | Informáticos teóricos de Polonia | Lógicos | Nacidos en 1897 | Fallecidos en 1954
Wikimedia foundation. 2010.