Leo Harrington
Pour les articles homonymes, voir Harrington.
Cet article est une ébauche concernant un mathématicien américain.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
Leo Anthony Harrington
Leo Harrington en 2008
| Naissance | |
|---|---|
| Nationalité | |
| Formation | |
| Activités |
| A travaillé pour | |
|---|---|
| Dir. de thèse | |
| Distinction |
Leo Anthony Harrington, né le , est un professeur de mathématiques américain qui travaille à l'université de Californie à Berkeley, et dont les travaux portent sur la théorie de la calculabilité, la théorie des modèles et la théorie des ensembles[1]. Il est notamment connu pour avoir prouvé, avec Jeff Paris, le théorème de Paris–Harrington (en) en 1977[2],[3].
Il obtient son doctorat du Massachusetts Institute of Technology en 1973[4].
Notes et références
- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Leo Harrington » (voir la liste des auteurs).
- ↑ (en) « Leo Anthony Harrington », sur Université de Berkeley (consulté le ).
- ↑ (en) Gaisi Takeuti, Proof Theory : Second Edition, Dover Publications, , 512 p. (ISBN 9780486320670, lire en ligne), p. 386.
- ↑ Maruti Ram Murty et Brandon Fodden, Hilbert's Tenth Problem : An Introduction to Logic, Number Theory, and Computability, American Mathematical Society, , 237 p. (ISBN 9781470443993, lire en ligne), p. 119.
- ↑ (en) « Leo Anthony Harrington », sur Mathematics Genealogy Project (consulté le ).
Liens externes
- Ressources relatives à la recherche :
