Post, Emilio León
| Post, Emilio León | |
|---|---|
| Correo de Emil León | |
| Nombrar al nacer | Polaco Correo de Emil León |
| Fecha de nacimiento | 11 de febrero de 1897 |
| Lugar de nacimiento | Avgustov , Imperio Ruso |
| Fecha de muerte | 21 de abril de 1954 (57 años) |
| Un lugar de muerte | Nueva York , Estados Unidos |
| País | |
| Ocupación | matemático , filósofo , lógico , profesor universitario |
| Archivos multimedia en Wikimedia Commons | |
Emil Leon Post ( Eng. Post Emil Leon , 11 de febrero de 1897 , Augustow , Reino de Polonia , Imperio ruso ) - 21 de abril de 1954 , Nueva York , EE . UU .) - Matemático y lógico estadounidense ; uno de los fundadores de la lógica polivalente ( 1921 ); principales obras sobre lógica matemática: Post algebra , Post clases de funciones del álgebra de la lógica; propuso una máquina informática abstracta: la máquina Post .
Biografía
Emil Leon Post nació en una familia judía ortodoxa que vivía cerca de Bialystok . En 1897, su padre Arnold emigró a los Estados Unidos. Cuando las cosas mejoraron para mi padre, la familia (Emil de siete años, sus dos hermanas y su madre) también se mudó de Rusia a Nueva York. La familia vivía en una casa cómoda en Harlem.
Cuando era niño, a Emil le gustaba la astronomía, pero un accidente borró los planes del chico: a la edad de 12 años perdió el brazo izquierdo. Antes de graduarse de la escuela, Emil envió una solicitud a varios observatorios: si su falta de profesión de astrónomo interferiría. Las respuestas que recibió le impidieron realizar sus ambiciones infantiles y Emil se dedicó a las matemáticas.
En 1921, Emil Post recibió su doctorado en matemáticas de la Universidad de Columbia. En su disertación, describió un método para evaluar fórmulas proposicionales usando tablas de verdad. En él, por primera vez, se obtuvieron una serie de resultados fundamentales en metalógica para la lógica proposicional clásica: consistencia, completitud deductiva, arrogancia, completitud funcional. En este trabajo se construye por primera vez una lógica multivaluada con más de 3 valores verdaderos y con un número arbitrario de valores distinguidos. También se establece aquí que el conjunto de clases cerradas en lógica clásica es contable.
Post pasó el año académico 1920-1921 en estudios posdoctorales en la Universidad de Princeton. Fue aquí donde tuvo su primer ataque de psicosis maníaco-depresiva. Esta enfermedad acompañó a Post durante toda su vida. Se recuperó lo suficiente de este primer ataque para asegurar un puesto de profesor en la Universidad de Cornell, pero un segundo ataque lo obligó a dejar de enseñar en la Universidad. En la década de 1920, Emil Post se ganó la vida enseñando matemáticas en la Escuela Secundaria George Washington en Nueva York. Con su médico, Post desarrolló un régimen que se prescribió para eliminar las excitaciones extrañas que conducían a episodios psicóticos. El régimen permitía a Post hacer ciencia e investigación solo 3 horas al día.
A pesar de tal régimen y una gran carga de estudio (16 horas a la semana), Post pudo publicar sus obras influyentes durante este período. Su matrimonio con Gertrude Singer en 1929 indudablemente contribuyó a la estabilidad de su vida. La esposa ayudó a Emil a imprimir sus artículos y cartas, y también se ocupó de las finanzas diarias de la familia.
En 1932, Emil Post recibió un puesto en el Departamento de Matemáticas del City College de Nueva York . Después de un mes, dejó el cargo, pero regresó en 1935 y permaneció en el cargo hasta su muerte en 1954 por un infarto durante una descarga eléctrica.
Emil Post es uno de los cuatro grandes científicos que casi simultáneamente se dieron cuenta de la posibilidad de aclarar la idea general del algoritmo. En 1943, Post fue el primero en proponer el concepto general de computación, que es de fundamental importancia para demostrar la indecidibilidad de una serie de problemas matemáticos. En 1944 se publicó quizás el trabajo más influyente de Post, donde se presenta en su forma original la teoría de los grados de indecidibilidad, y en 1947, por primera vez en la historia de las matemáticas (independientemente de A. Markov ), un ejemplo de un problema algorítmico de masas “intramatemático” irresoluble, a saber, el problema de A. Thue (problema de igualdad para semigrupos). Post creía, y escribió sobre esto a Kurt Gödel, que 15 años antes del trabajo revolucionario de Gödel sobre la incompletud, ya tenía estos teoremas, aunque no en una forma tan completa.
Véase también
Literatura
- A. S. Karpenko . Post // Nueva Enciclopedia Filosófica : en 4 volúmenes / anterior. ed. científica consejo de V. S. Stepin . — 2ª ed., corregida. y adicional - M. : Pensamiento , 2010. - 2816 p.
Lecturas adicionales
- Davis, Martín (1993). Lo indecidible (Ed.), págs. 288-406. Dover. ISBN 0-486-43228-9 . Reimpresiones de varios artículos de Post.
- Davis, Martín (1994). "Emil L. Post: su vida y obra" en Davis, M., ed., Solvability, Provability, Definability: The Collected Works of Emil L. Post . Birkhauser: xi-xxviii. Un ensayo biográfico.
Enlaces
- John J. O'Connor y Edmund F. Robertson . Post, Emile Leon - biografía en MacTutor .
 sitios temáticos | ||||
|---|---|---|---|---|
| diccionarios y enciclopedias | ||||
| Genealogía y necrópolis | ||||
| ||||