Edward Nelson (mathématicien)
Naissance | |
---|---|
Décès | |
Nationalité | |
Formation | |
Activités |
A travaillé pour | |
---|---|
Membre de | |
Directeur de thèse | |
Distinctions |
Edward Nelson (né le à Decatur, Géorgie, États-Unis et décédé le [1]) est un mathématicien américain. Il est connu pour ses travaux en physique mathématique et en logique mathématique. En logique mathématique, il a donné, en 1977, une présentation de l’analyse non standard appelée IST (Internal set theory).
Carrière
[modifier | modifier le code]Il reçoit son doctorat en 1955 à l'université de Chicago, où il travaille avec Irving Segal. Il est membre de l'Institute for Advanced Study de 1956 à 1959, puis travaille à l'université de Princeton où il devient professeur en 1964.
Travaux
[modifier | modifier le code]Il contribue à la théorie des représentations de groupe de dimension infinie, aux mathématiques de la théorie quantique des champs, à l'utilisation de processus stochastiques en mécanique quantique et à la reformulation de la théorie des probabilités en termes d'analyse non standard.
En analyse non standard, le principe de Nelson est un exemple du principe d'idéalisation.
Il travaille plusieurs années sur la physique mathématique et la théorie des probabilités, notamment sur l'extension possible de la mécanique stochastique à la théorie des champs.
Il se focalise plus récemment sur la logique mathématique et les fondements des mathématiques. L'un de ses objectifs est d'étendre son Internal Set Theory (basée en partie sur l'analyse non standard d'Abraham Robinson) afin de pouvoir y ajouter des fonctions et ensembles externes. Une autre partie de ses travaux s'attaque à la théorie de la complexité des algorithmes et notamment au problème P = NP et sa vérification automatique.
En 2011, E. Nelson annonce l'inconsistance de l'arithmétique de Peano. Une erreur est trouvée dans la preuve, et Nelson se rétracte[2] et se remet au travail. En 2013 il annonce avoir corrigé l'erreur, mais il meurt avant d'avoir fini la rédaction de son ouvrage Elements. Celui-ci, ainsi qu'un autre texte posthume, est posté sur le domaine ArXiv, avec une introduction par Sarah Jones Nelson et une postface par Sam Buss et Terence Tao, lesquels estiment son travail de recherche d'une preuve d'inconsistance essentiellement voué à l'échec, mais reconnaissent néanmoins qu'il apporte des idées et des techniques nouvelles, qui pourraient en particulier avoir une grande importance pour les outils de démonstration et de vérification automatique de preuves[3].
Références
[modifier | modifier le code]- « math.princeton.edu/news/home-p… »(Archive.org • Wikiwix • Archive.is • Google • Que faire ?).
- (en) Exposé de cette première publication, sur le site madmath.com.
- (en) Elements, sur ArXiv.
Voir aussi
[modifier | modifier le code]Articles connexes
[modifier | modifier le code]Liens externes
[modifier | modifier le code]
- Ressource relative à la recherche :
- Page d'Edward Nelson sur le site de Princeton
- Curriculum vitæ
- Naissance en mai 1932
- Naissance à Decatur (Géorgie)
- Mathématicien américain du XXe siècle
- Docteur de l'université de Chicago
- Professeur à l'université de Princeton
- Analyse (mathématiques)
- Personnalité en théorie des ensembles
- Lauréat du prix Leroy P. Steele
- Membre de l'American Mathematical Society
- Membre de l'Académie nationale des sciences
- Décès en septembre 2014
- Décès à Princeton (New Jersey)
- Décès à 82 ans
- Mathématicien américain du XXIe siècle