Matemáticos

Línea de Tiempo Fotos Dinero Estampillas Bosquejo Búsqueda

Emil Leon Post

Fecha del nacimiento:

Lugar del nacimiento:

Fecha de la muerte:

Lugar de la muerte:

11 Feb 1897

Augustów, Russian Empire (now Poland)

21 April 1954

New York, USA

Presentación Wikipedia
ATENCIÓN - traducción automática de la versión inglesa

Emil Post s padre Arnold Correos y su madre era Pearl Post. Arnold y Perla fueron Judios polaco Emil y su hijo nació en Rusia controlada Polonia y pasó los primeros siete años de su vida allí. La familia emigró a los Estados Unidos en mayo de 1904 buscando una vida mejor, y crear el hogar en Nueva York.

Emil era un niño muy brillante, pero su vida fue una gran tragedia. Cuando era un niño que perdió un brazo en un accidente, pero esta desventaja es que maneja un bien. Él tuvo que hacer frente a los problemas mentales en su vida adulta que tiene un efecto devastador en él, haciendo que el problema físico de haber perdido un brazo y no parecen triviales en comparación.

Existe la enseñanza secundaria es gratuita para los niños especialmente dotados en Nueva York. Esto fue a Townsend Harris High School que se encuentra en el mismo sitio que el Colegio de la Ciudad de Nueva York. Después de graduarse de la High School Publicar mantuvo en el mismo campus que continuó sus estudios en el City College.

Ahora pensamos de Correos como un lógico matemático, pero el primer tema que le atrajo fue la astronomía. Mientras estudiaba en el Colegio de la Ciudad de Nueva York estudió matemáticas, pero hay pocos indicios de que en esta etapa fue especialmente atraído hacia la lógica. Mientras que una licenciatura en el Colegio, escribió su primer documento que fue generalizada en la diferenciación. La cuestión era una pregunta fascinante: ¿qué hace el operador diferencial D n decir cuando n es un entero no? Aunque fue escrito mientras que una licenciatura, Correos no ha presentado el documento a la American Mathematical Society hasta 1923 y que finalmente no se publicó hasta 1930. No contienen una idea muy importante, ya que en el documento demuestra Publicar un resultado importante sobre la inversión del Laplace transformar. Esta publicación apareció mucho después de la graduación después de su primer grado que sus estudios de licenciatura, expedido por el City College en 1917.

Después de graduarse con su primer grado, después comenzó la investigación de postgrado en la Universidad de Columbia. El acontecimiento importante para la carrera posterior ha sido la publicación de Russell y Whitehead s Principia Mathematica. El primer volumen de Principia Mathematica fue publicado en 1910, la segunda en 1912, y la tercera en 1913. Cuando comenzó su Publicar estudios de posgrado se trata de un nuevo y emocionante desarrollo y Post Cassius J participó en el seminario de Keyser en Columbia que estudió los Principia Mathematica. Publicar fue galardonado con el grado de AM en 1918 y de doctorado en 1920. Su doctorado tesis sobre la lógica matemática, y vamos a discutir más sobre él en un momento, pero primero veamos que después escribió un segundo documento como de postgrado, que se publicó antes de su primer documento, y se trataba de un corto sobre el trabajo funcional de la ecuación la función gamma.

Pasamos ahora al Post Doctorado tesis, en la que demostró la integridad y la coherencia de los descritos en el cálculo proposicional los Principia Mathematica mediante la introducción del método de tabla de verdad. A continuación, su tabla de verdad generalizadas método, que se basa en los dos valores "verdadero" y "falso", a un método que había un número finito arbitraria los valores de la verdad. El último, y quizás el más notable, la nueva idea que después presentó en su tesis era dar un marco para los sistemas de inferencia lógica que los sistemas basados en un proceso finito de la manipulación de símbolos. Un sistema de este tipo de lógica que produce Publicar propuesto, en la terminología de hoy, recursivamente enumerables un conjunto de palabras sobre un alfabeto finito. Sería justo decir que después de la tesis marca el comienzo de la prueba la teoría.

Después de recibir su doctorado, después pasó a la Universidad de Princeton durante un año como becario Proctor. Regresó a la Universidad de Columbia y, poco después de esto, él tuvo su primer brote de una enfermedad que se repiten a lo largo de su carrera y limitar lo que podría haber logrado. Como escribe en la Davis:

Que sufrió toda su vida adulta de paralizar la enfermedad maníaco-depresiva en un momento en que no se dispone de tratamiento farmacológico para esta enfermedad.

En 1924 fueron a Correos de Cornell, pero volvió a ser malos. Se reanuda el trabajo como un maestro de la escuela secundaria en Nueva York en 1927. Cantante se casó con Gertrude en 1929 y tuvieron un hijo, una hija, Phyllis. Luego, en 1932 fue nombrado para el City College. Salió después de un corto hechizo, de nuevo luchando con su enfermedad mental, pero tres años más tarde regresó y pasó el resto de su vida. En el City College de su carga lectiva es de 16 horas por semana que se dieron tiempo para la investigación muy difícil. Asimismo, los miembros del personal no tiene ninguna de sus propias oficinas, pero se ponen todos en una sola habitación con una gran mesa en el centro. Después optó por trabajar en casa, pero con un niño pequeño que una cepa presente en la familia. Publicar la hija de Phyllis explica más adelante en su vida cómo Gertrude Post había luchado su marido para dar la oportunidad de dedicar tiempo a la investigación:

Mi padre era un genio, mi madre era una santa ... Además de escribir cartas de recomendación, también escribió a mi madre de mi padre y la correspondencia, manuscritos ... Mi madre era también el que maneja todos los asuntos financieros ... fue el buffer en la vida cotidiana que permite a mi padre para dedicar su atención a las matemáticas (así como sus variados intereses en los asuntos del mundo contemporáneo). Que se han logrado tanto sin ella? I para uno, no lo creo.

Después de la muerte prematura en la edad de 57 años era casi seguro que una consecuencia directa de la que recibió tratamiento para su enfermedad mental. En ese momento tales enfermedades maníaco-depresiva fueron tratados con el tratamiento con descargas eléctricas. Se trata de un horrible tratamiento de la enfermedad y una horrible lo que causó una gran angustia. Se basaba en nada mejor que el hecho de que después de este tratamiento los pacientes recibieron muchos habían períodos más normal de los estados mentales. Después recibió el tratamiento con descargas eléctricas en varias ocasiones y fue mientras él estaba en una institución mental, poco después de recibir descargas eléctricas, que sufrió un ataque cardíaco y murió.

Publicar es más conocido por su trabajo en poliádicas grupos, conjuntos recursivamente enumerables, y los grados de unsolvability, así como por su contribución a la unsolvability de los problemas de combinatoria matemática. Él introdujo los conceptos de integridad y coherencia en un documento sobre la mesa la verdad que los métodos desarrollados a partir de los trabajos de su tesis doctoral. Atribuyó estos métodos a su profesor en Columbia, CJ Keyser, en lugar de Charles Peirce y E Schröder como se había hecho anteriormente. Publicar en la década de 1920 demostró resultados similares a los que Godel, la Iglesia y de Turing descubrió más tarde, pero no publicarlos. Razón que no se publican porque él consideraba que un "análisis completo" era necesario para lograr la aceptación. Él escribió:

La exactitud de este resultado es totalmente dependiente de la fiabilidad de los análisis que conduzcan a la generalización por encima ... es fundamentalmente débil en su dependencia de la lógica de Principia Mathematica ... para la plena generalidad un análisis completo habría que dar de todas las posibles formas en que la mente humana puede crear finitos para la generación de secuencias de procesos.

También hizo un estudio matemático de Lukasiewicz 's de tres valorado lógica. En torno a este momento, escribió en su diario:

Yo estudio Matemáticas como un producto de la mente humana no es tan absoluta.

Cuando publicó su Godel Teoremas incompleto en 1931, después se dieron cuenta de que había esperado demasiado tiempo para publicar lo que había demostrado y que ahora todo el crédito vaya a Godel. En una tarjeta postal escrita a Godel en 1938, justo después de que se había reunido por primera vez, después escribió:

... durante quince años he llevado todo el pensamiento de los matemáticos asombroso mundo con mis ideas poco ortodoxas, y la reunión el hombre, principalmente responsable de la desaparición de ese sueño y no me llevó lejos. Ya que usted parece interesado en mi forma de llegar a estos nuevos acontecimientos tal vez la Iglesia puede mostrar una larga carta que le escribió acerca de ellos. En cuanto a las reclamaciones tal vez yo podría hacer lo mejor que puedo decir es que me han demostrado Godel 's Teorema en 1921 - había sido yo Godel.

En una carta escrita el día después de que él escribe:

... después de todo no es de ideas, pero la ejecución de las ideas que constituyen una marca de grandeza.

En 1936 propuso lo que hoy se conoce como una máquina de Correos, una especie de autómata que es anterior a la noción de un programa que estudia von Neumann en 1946. En 1941 escribió:

... pensamiento matemático es, y debe ser, en esencia creativa ...

pero él dijo que hay limitaciones y la lógica simbólica es la siguiente:

... indiscutible para el revelador y el desarrollo de estas limitaciones.

Después puso de manifiesto que la palabra problema para semigroups fue recursivamente insolubles en 1947, dando la solución a un problema que había sido planteada por Thue en 1914.

Quine, en una carta escrita en 1954 después de la muerte de Correos, dijo:

Moderna teoría de la prueba, así como la moderna teoría de la máquina de cálculo, depende de la noción de función recursiva. Este importante número concepto teórico ... fue descubierta independientemente ... por cuatro matemáticos, y uno de ellos era Post. Posterior trabajo de post fue fundamental para el futuro desarrollo de la teoría de funciones recursivas.

Quine añadido en 1972:

La teoría de las funciones recursivas de que después fue cofundador es ahora casi el doble de edad que cuando yo escribí esa carta. Lo que un campo fértil que ha demostrado ser.

Publicar la forma en que llevó a cabo sus clases en el City College fue, por decir lo menos, inusual. Davis asistió a esas clases en el Colegio de la Ciudad de Nueva York durante los fines del decenio de 1940, y en él nos da una idea clara:

Después las clases se organizan tensada asuntos. Cada período se iniciaría con recitaciones estudiante que cubra los problemas y las pruebas de teoremas a partir de la fecha de la cesión. Estos fueron entregados al parecer al azar, y tuvo que ser puesto en la pizarra, sin la ayuda de libros de texto o notas. ¡Ay de los desventurados estudiante que estaba preparado. Él (o rara vez ella) tendría que hacer frente a Post "en el dolor más que mirar la ira". A su vez, los estudiantes se recitan en su trabajo. Posteriormente, después que salga de su «3 por 5 cartas y explicar distintos puntos de multa. La clase sería un éxito si completó su última carta al igual que la campana sonó. Preguntas de la clase se desanime: no hubo tiempo. Sorprendentemente, estos métodos pedagógicos se inelástica gran éxito, y después fue un maestro muy popular.

Paul Chessin recuerda que se imparten por Correos en Nueva York en cerca de 1943:

Recuerdo que fue un corto stocky compañeros que invariablemente vestido con un traje de tres piezas, vacíe cuidadosamente escondido en la manga del lado suitcoat bolsillo. Le paso constante hacia arriba y hacia abajo antes de la pizarra, hablando claramente, vigoroso en sus propuestas. Él con frecuencia, de repente a girar alrededor de la cara del tablero, tiza en mano, para escribir. Este movimiento siempre tiende a soltar la manga de que su ancla hasta el último (para el alivio de la clase) que flapped un poco acerca de como podría cabo. Que la libertad de movimiento parecía a nosotros para liberar a su pensamiento como conferenciante.

Por último, dar a este excelente homenaje a puestos de Davis:

Puesto más allá de la importancia de su contribución científica, ya que eran importantes. Él sigue siendo una inspiración y, por la manera en que se sobrepuso a su discapacidad mental potencialmente incapacitantes, por su voz, y por su constante dedicación a la ciencia y sus alumnos.

Source:School of Mathematics and Statistics University of St Andrews, Scotland