Hartley Rogers Jr.
Hartley Rogers Jr. ( - ) est un mathématicien, spécialiste de la théorie de la calculabilité, professeur au département de mathématiques du Massachusetts Institute of Technology. Le théorème d'équivalence de Rogers porte son nom.
| Naissance | |
|---|---|
| Décès | |
| Nationalité | |
| Formation | |
| Activité |
| A travaillé pour | |
|---|---|
| Directeur de thèse | |
| Distinction |
Biographie
modifierNé en 1926 à Buffalo, New York[1], il étudie sous la direction d'Alonzo Church à Princeton, et obtient son doctorat là-bas en 1952. Il travaille à la faculté du MIT de 1956 jusqu'à sa mort, le 17 juillet 2015[2],[3].
Au MIT, il est impliqué dans de nombreuses activités parascolaires savantes, notamment la gestion du SPUR (programme d'été en recherche de premier cycle) pour les étudiants de premier cycle du MIT, la supervision de la section mathématiques du RSI (Institut de recherche en sciences) pour les élèves du secondaire avancés et l'encadrement de l'équipe d'examen MIT Putnam pendant près de deux décennies à partir de 1990, notamment les années 2003 et 2004 lorsque le MIT gagne pour la première fois depuis 1979. Il dirige également un séminaire appelé 18. S34 : Résolution de problèmes mathématiques pour les étudiants de première année du MIT.
Rogers est également connu au sein de la communauté de premier cycle du MIT pour avoir développé un cours de calcul multivariable (18.022: Calcul multivariable avec théorie) dans le but explicite de fournir une base mathématique solide pour l'étude de la physique. En 2005, il arrête de donner des cours. On se souvient de lui pour ses commentaires mathématiques pleins d'esprit lors de conférences ainsi que pour sa tradition d'attribuer des biscuits Leibniz et des Figolu aux meilleurs élèves de sa classe. Il est le directeur de thèse de Patrick Fischer, Louis Hodes, Carl Jockusch, Andrew Kahr (en), David Luckham (en), Rohit Parikh, David Park et John Stillwell. Rogers remporte le Prix Halmos-Ford en 1965 pour son article explicatif sur la théorie de l'information[4].
Publications
modifier- Rogers, « Recursive functions over well ordered partial orderings », Proc. Amer. Math. Soc., vol. 10, no 6, , p. 847–853 (DOI 10.1090/s0002-9939-1959-0111685-8, MR 0111685)
- Kreider et Rogers, « Constructive versions of ordinal number classes », Trans. Amer. Math. Soc., vol. 100, no 2, , p. 325–369 (DOI 10.1090/s0002-9947-1961-0151396-x, MR 0151396)
- Rogers, « On universal functions », Proc. Amer. Math. Soc., vol. 16, , p. 39–44 (DOI 10.1090/s0002-9939-1965-0171705-4, MR 0171705)
- Hartley Rogers Jr., The Theory of Recursive Functions and Effective Computability, MIT Press, (ISBN 0-262-68052-1) (paperback), (ISBN 0-07-053522-1) (textbook)[5]
Références
modifier- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Hartley Rogers Jr. » (voir la liste des auteurs).
- Prof. Hartley Rogers Jr. at alumweb.mit.edu
- MIT mathematics faculty
- Hartley Rogers Jr. Obituary
- Rogers Jr., Hartley, « Information Theory », Mathematics Magazine, vol. 37, no 2, , p. 63–78 (DOI 10.1080/0025570X.1964.11975485, lire en ligne)
- Yates, C. E. M., « Review: Theory of recursive functions and effective computability, by Hartley Rogers Jr », J. Symb. Log., vol. 36, no 1, , p. 141–146 (DOI 10.2307/2271523, JSTOR 2271523)
Liens externes
modifier
- Ressources relatives à la recherche :
