Nacimiento |
4 de mayo de 1932 Decatur |
---|---|
Muerte |
10 de septiembre de 2014(en 82) Princeton |
Nacionalidad | americano |
Capacitación | Universidad de Chicago |
Ocupaciones | Matemático , filósofo , profesor universitario , físico |
Trabajé para | Universidad de Princeton |
---|---|
Campo | Teoría de conjuntos |
Miembro de |
Sociedad Estadounidense de Matemáticas Academia Estadounidense de Ciencias Academia Estadounidense de Artes y Ciencias |
Director de tesis | Irving Segal |
Premios |
Miembro del premio Steele de la American Mathematical Society por su contribución fundamental a la investigación (1995) |
Edward Nelson (nacido el4 de mayo de 1932en Decatur , Georgia , EE . UU. y murió el10 de septiembre de 2014) es un matemático estadounidense. Es conocido por su trabajo en física matemática y lógica matemática . En lógica matemática, dio, en 1977, una presentación de análisis no estándar llamado IST ( teoría de conjuntos internos ).
Recibió su doctorado en 1955 en la Universidad de Chicago , donde trabajó con Irving Segal . Fue miembro del Instituto de Estudios Avanzados de 1956 a 1959, luego trabajó en la Universidad de Princeton, donde se convirtió en profesor en 1964.
Ha contribuido a la teoría de las representaciones de grupos de dimensión infinita, las matemáticas de la teoría cuántica de campos , el uso de procesos estocásticos en la mecánica cuántica y la reformulación de la teoría de la probabilidad en términos de análisis no estándar .
En el análisis no estándar , el principio de Nelson es un ejemplo del principio de idealización .
Trabajó durante varios años en física matemática y teoría de la probabilidad, en particular en la posible extensión de la mecánica estocástica a la teoría de campos.
Más recientemente se ha centrado en la lógica matemática y los fundamentos de las matemáticas. Uno de sus objetivos es expandir su teoría de conjuntos internos (basada en parte en el análisis no estándar de Abraham Robinson ) para que pueda agregarle funciones y conjuntos externos. Otra parte de su trabajo aborda la teoría de la complejidad de los algoritmos y en particular el problema P = NP y su verificación automática.
En 2011, E. Nelson anunció la inconsistencia de la aritmética de Peano . Se encuentra un error en la evidencia, y Nelson se retracta y vuelve al trabajo. En 2013 anunció que había corregido el error, pero murió antes de terminar de escribir su libro Elementos . Este, junto con otro texto póstumo, se publica en el dominio ArXiv , con una introducción de Sarah Jones Nelson y un epílogo de Sam Buss y Terence Tao , quienes consideran que su trabajo de investigación es principalmente inconsistente. Está condenado al fracaso, pero reconocen sin embargo que aporta nuevas ideas y técnicas, que podrían ser particularmente importantes para las herramientas de demostración y verificación automática de pruebas .