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 .
- Mount Hebron Cemetery
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 Post was a Polish-born American mathematician and logician who is best known for his work on polyadic groups, recursively enumerable sets, and degrees of unsolvability, as well as for his contribution to the unsolvability of problems in combinatorial mathematics.
(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. 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.
De Wikipedia, la enciclopedia libre. 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.
(1897–1954) Polish-born American mathematician and logician. Post introduced the truth-table method for defining and checking validity in propositional logic. His unpublished researches into problems of completeness and decidability interestingly anticipated the 1930s results of Gödel, Church, and Turing.
