Emil Leon Post llegó a una conclusión sobre la completitud del cálculo proposicional en 1921, mapeando efectivamente los fundamentos lógicos de Principia Mathematica. Su carrera evolucionó a través de una importante investigación matemática en los Estados Unidos, abarcando desde sus primeros estudios de doctorado en la Universidad de Columbia hasta su puesto docente de larga duración en el City College de Nueva York.
Fundamentos académicos
Nacido en Augustów en 1897, Post se mudó a la ciudad de Nueva York cuando era niño. Asistió a la Townsend Harris High School y completó su licenciatura en el City College de Nueva York antes de obtener su doctorado en la Universidad de Columbia en 1920 bajo la supervisión de Cassius Jackson Keyser. Su trayectoria profesional temprana incluyó un año de posdoctorado en la Universidad de Princeton, seguido de períodos en la Universidad de Cornell y la enseñanza en escuelas secundarias antes de obtener un nombramiento docente en el City College de Nueva York en 1932.
Lógica y computabilidad
Post desarrolló independientemente las tablas de verdad y amplió la teoría de las proposiciones elementales. En 1936, formuló un modelo de computación equivalente a la máquina de Turing, ahora referenciado como la máquina de Post-Turing. Su trabajo sobre sistemas canónicos, publicado en 1943, estableció métodos para la reescritura de cadenas que siguen siendo fundamentales para el diseño moderno de lenguajes de programación. En 1946, introdujo el problema de correspondencia de Post para demostrar la indecidibilidad en los lenguajes formales.
Grupos poliádicos y el problema de Post
Más allá de sus contribuciones a la computabilidad, Post realizó una extensa investigación sobre grupos poliádicos o n-arios. Su artículo de 1940 proporcionó un teorema fundamental que demostraba que tales estructuras podían expresarse mediante operaciones de grupo estándar. Más tarde, en un discurso ante la Sociedad Matemática Estadounidense en 1944, propuso una pregunta sobre la existencia de un conjunto recursivamente enumerable no computable con un grado de Turing inferior al problema de la parada, un desafío ahora conocido como el problema de Post.
Veinte preguntas, ocho minutos de reloj y un percentil medido frente a todos los que la han hecho. Sin registro.
Hacer la prueba de CI →Gestión de la salud
Comenzando durante su tiempo en Princeton, Post luchó contra ataques maníacos. Siguiendo el consejo médico, limitó la duración de su investigación diaria a no más de tres horas. Se casó con Gertrude Singer en 1929, con quien tuvo una hija, Phyllis Post Goodman. Post murió de un ataque al corazón en la ciudad de Nueva York en 1954 después de recibir tratamiento de electrochoque para la depresión y fue enterrado en el cementerio Mount Hebron.
Datos rápidos
- Nacimiento: 1897, Augustów - Fallecimiento: 1954, Nueva York - Educación: City College de Nueva York, Universidad de Columbia - Cónyuge: Gertrude Singer - Hija: Phyllis Post Goodman - Contribución clave: Problema de correspondencia de Post - Lugar de descanso final: Cementerio Mount Hebron
Preguntas que hacen los lectores
### ¿Cuál fue la importancia de la tesis de 1921?
Demostró que el cálculo proposicional de Principia Mathematica era completo, lo que significa que todas las tautologías eran teoremas.
### ¿Descubrió Post el teorema de incompletitud de Gödel primero?
Post estuvo cerca del descubrimiento mientras estaba en Princeton en 1921, pero no publicó sus ideas en ese momento.
.jpg)
