Volver
a la página principalDe origen polaco, su familia se trasladó a los Estados Unidos cuando el tenía 7 años y desde ese momento vivió allí. La primera materia que le atrajo fue la astronomía. Asistió al College de la ciudad de Nueva York recibiendo su B.S. en 1917. Mientras estuvo en el College escribió su primera memoria, aunque no fue publicada hasta varios años después, sobre diferenciación.
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 Ph.D. probó la consistencia del cálculo proposicional descrito en Whitehead and Russell’s Principia mathematica. Su trabajo marcó el comienzo de la Teoría de Pruebas
Después de recibir el doctorado, Post estuvo en Princeton durante un año como Proctor Fellow. Volvió a la Universidad de Columbia y, poco después, tuvo su primer ataque de enfermedad que volvería a repetirse a lo largo de su carrera y que limitaría sus fuerzas.
En 1924 Post estuvo en Cornell pero de nuevo cayó enfermo. Resumió su trabajo como profesor de high school en Nueva York en 1927. Luego en 1932 se estableció en el College de la ciudad. Lo relevaron durante tiempo pero volvió tres años después y pasaría allí el resto de su vida.
Post introdujo los conceptos de completitud y consistencia en un escrito con métodos de tablas de verdad.
Se le atribuyeron los métodos a C.J.Keysser antes que a Charles Peirce y E.Schröder que lo habían hecho previamente.
En los años 20 Post alcanzó resultados similares a Gödel, Church y Turing pero no los publicó. También realizó el estudio matemático de las tres estimaciones de Lukasiewicz. En 1936 propuso lo que hoy se conoce como una Máquina de Post, una clase de autómata que predijo la noción de programa que VonNeumann estudió en 1946
Post demostró en 1947 que la palabra problema para semigrupos era irresoluble recursivamente, dando la solución al problema propuesto por Thue en 1914.