Resultado de búsqueda
Emil Leon Post (11 de febrero de 1897 en Augustów - 21 de abril de 1954 en Nueva York) fue un matemático estadounidense. Creó el sistema formal llamado Máquina de Post, el cual es equivalente a la Máquina de Turing. Enlaces externos. Biografía (en inglés)
(Augustow, 1879-Novedosa York, 1954) Matemático estadounidense de origen polaco. Especializado en lógica matemática, realizó un sistema para supervisar la validez de las fórmulas de la lógica sentencial a través de las tablas enserio, ha propuesto las lógicas versátiles y también ingresó el término de nivel de indecidibilidad.
Emil Leon Post (11 de febrero de 1897 en Augustów - 21 de abril de 1954 en Nueva York) fue un matemático estadounidense. Creó el sistema formal llamado Máquina de Post, el cual es equivalente a la Máquina de Turing.
Emil Leon Post (11 de febrero de 1897 en Augustów - 21 de abril de 1954 en Nueva York) fue un matemático estadounidense. Creó el sistema formal llamado Máquina de Post, el cual es equivalente a la Máquina de Turing.
Biografía de 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.
Emil Leon Post (/ p oʊ s t /; February 11, 1897 – April 21, 1954) was an American mathematician and logician. He is best known for his work in the field that eventually became known as computability theory .
Emil Leon Post. Su Vida. Nació en el año 1897 en Agustow, Polonia. Post se trasladó a Estados Unidos a los siete años con su familia en 1904 desde Augustów, Polonia. El primer tema por el que se sintió atraido fue la astronomía. Asistió a la Universidad de la ciudad de Nueva York, recibiendo su B.A. en 1917.
