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. Aunque el escribió su primer artículo en la Universidad, no fue publicado hasta unos años después. En 1917 empezó a investigar en la Universidad de Columbia, recibiendo su A.M en 1918 y su Ph D. en 1920. En su tesis doctoral probó la consistencia del cálculo proposicional. Su trabajo marcó el principio de la teoría demostracional.
Después de recibir su doctorado, Post fue a Princeton un año. Regresó a Columbia y, poco después de esto, tuvo el primer ataque de una enfermedad que se repitió a lo largo de su carrera y limitó que pudiera haber triunfado. En 1924 Post fue a Cornell, pero otra vez cayó enfermo. Continuó su trabajo como profesir de instituto en Nueva York en 1927. Entonces en 1932 fue destinado a la Universidad de la ciudad. Lo dejó una corta temporada pero regresó tres años más tarde y pasó el resto de su vida allí.
Post introdujo el concepto de completitud y consistencia sobre el método de las tablas de verdad. Atribuyó ese método a CJ Keyser antes que a Charles Pierce y E. Schöder como había sido hecho previamente. En la década de los 20 Post obtuvo resultados similares a Gödel, Church y Turing, pero no los publicó. También hizo un estudio matemático de la lógica tri-evaluada de Lukasiewicz. Aproximadamente sobre este periodo escribió en su diario: "Yo estudio Matemáticas como producto de la mente humana, no como categórica."
En 1936 propuso lo hoy conocido como Máquina de Post, un tipo de autómata que recoge la noción de programa que estudió von Neumann en 1946. En 1941 escribió:
"...el pensamiento matemático es, y debe ser, esencialmente creativo..." pero dijo que había limitaciones y la lógica simbólica es "...el indiscutible método para revelar y descubrir esas limitaciones."
Post mostró que el problema para semigrupos era recursivamente irresoluble en 1947, dando la solución a un problema planteado por Thue en 1914. Quine, en una carta escrita en 1954 después de la muerte de Post, decía: "la teoría demostracional moderna y del mismo modo, la teoría de la máquina computacional moderna gira en torno al concepto de la función recursiva. Este importante concepto teórico... fue descubierto independientemente...por cuatro matemáticos, y uno de ellos fue Post". Parte del trabajo de Post sería un instrumento para progresos posteriores en las funciones recursivas.
Murió en el 1954 en Nueva York.
Su Obra
Post introdujo el concepto de completitud y consistencia sobre el método de las tablas de verdad. Atribuyó ese método a CJ Keyser antes que a Charles Pierce y E. Schöder como había sido hecho previamente. En la década de los 20 Post obtuvo resultados similares a Gödel, Church y Turing, pero no los publicó. También hizo un estudio matemático de la lógica tri-evaluada de Lukasiewicz. Aproximadamente sobre este periodo escribió en su diario: "Yo estudio Matemáticas como producto de la mente humana, no como categórica."
En 1936 propuso lo hoy conocido como Máquina de Post, un tipo de autómata que recoge la noción de programa que estudió von Neumann en 1946. En 1941 escribió:
"...el pensamiento matemático es, y debe ser, esencialmente creativo..." pero dijo que había limitaciones y la lógica simbólica es "...el indiscutible método para revelar y descubrir esas limitaciones."
Post mostró que el problema para semigrupos era recursivamente irresoluble en 1947, dando la solución a un problema planteado por Thue en 1914. Quine, en una carta escrita en 1954 después de la muerte de Post, decía: "la teoría demostracional moderna y del mismo modo, la teoría de la máquina computacional moderna gira en torno al concepto de la función recursiva. Este importante concepto teórico... fue descubierto independientemente...por cuatro matemáticos, y uno de ellos fue Post". Parte del trabajo de Post sería un instrumento para progresos posteriores en las funciones recursivas.
