Emil Leon Post
De Wikipedia, la enciclopedia libre
| Emil Leon Post | |
|---|---|
 |
|
| Nacimiento | 11 de febrero de 1897 Polonia, Augustow |
| Fallecimiento | 21 de abril de 1954, 57 años Estados Unidos, Nueva York |
| Nacionalidad | polaco-estadounidense |
| Ocupación | matemático, informático |
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.
[editar] Enlaces externos
- Biografía (en inglés)
